Topological Sort Using Decrease Meaning Mathematics