Topological Sort Using Decrease Meaning Mathematics Background