Should the three properties really be defined here or is it enough to refer to
binary relation? Or should these properties have their own pages a la Eric Weisstein? --
Jan Hidders
I don't think the small amount of duplication is a problem, and it aids understanding.
PS: Hopefully, we can soon get up to the level of depth Weisstein had