Binary relation/Talk

No diff available--this is the first major revision. (no other diffs)

Should all these properties have their own pages? And if so should that be under 'Reflexive' or under 'Reflexive binary relation'? -- Jan Hidders