Talk:Uniqueness Condition for Relation Value

From ProofWiki
Jump to: navigation, search

I don't understand the why this page is needed. Does it not just repeat what is on the image of a singleton under a relation? --prime mover 20:39, 11 August 2012 (UTC)

It's mostly to show that the second definition for relation value "works." --Andrew Salmon 21:16, 11 August 2012 (UTC)