Category:Rank Function Property of Well-Founded Relation