Category:Infinite Sequence Property of Well-Founded Relation