Definition talk:Pointwise Supremum

From ProofWiki
Jump to navigation Jump to search

You have the redlink Definition:Exension of Ordering in this page. Would it be appropriate to use Definition:Extension of Relation or is there a specific reason / definition for an Definition:Exension of Ordering to be different from a simple extension of a relation? --prime mover 06:41, 2 June 2012 (EDT)

Not really any reason; at best it would be accessible to people unfamiliar with general relations (but I am tempted to thinking those people are rare). Extension of Relation suffices for now. --Lord_Farin 06:45, 2 June 2012 (EDT)