Definition talk:Left-Total Relation

From ProofWiki
Jump to navigation Jump to search

The question was:

"on the contrary, isn't left-totality a necessary condition for a relation being a function?"

A function is a left-total relation but a left-total relation is not necessarily a function. --prime mover 13:42, 18 November 2011 (CST)

Yes exactly, but the way the page is stating it sounds like being left-total implies it being not a function? --GFauxPas 13:45, 18 November 2011 (CST)
Good point. Is that better? --prime mover 14:03, 18 November 2011 (CST)
Much. Thank you for putting up with my trouble-making --GFauxPas 14:08, 18 November 2011 (CST)
Keep at it. You're finding some really subtle problems which all need to be fixed. --prime mover 14:12, 18 November 2011 (CST)