Definition talk:Relation
From ProofWiki
Just noted that relation on $S$ is defined under 'Relation on a Set' as well as under 'Endorelation'. --Lord_Farin 09:36, 20 January 2012 (EST)
- N'est-ce pas? My view is that the "Endorelation" definition should stand (with its "also known as a relation on a set" kept), and the first instance of "Relation on a set" should be removed from here and put into Definition:Left-Total Relation instead with a similar "also known as", and to both of them a warning should be added that "relation on a set" has an alternative meaning, is ambiguous and therefore discouraged. --prime mover 10:26, 20 January 2012 (EST)
- Agreed, that's best. Although my mind says that a relation on a set is an endorelation, maximal rigour and clarity should be achieved, so this is the only viable option. --Lord_Farin 10:47, 20 January 2012 (EST)
- Job done. Does that work for you? --prime mover 13:34, 20 January 2012 (EST)
- Sure. One down, hundreds to go. But we are undeterred. --Lord_Farin 18:20, 20 January 2012 (EST)
- Job done. Does that work for you? --prime mover 13:34, 20 January 2012 (EST)
- Agreed, that's best. Although my mind says that a relation on a set is an endorelation, maximal rigour and clarity should be achieved, so this is the only viable option. --Lord_Farin 10:47, 20 January 2012 (EST)
