320 likes | 447 Vues
Review--Properties of Relations. Let r be a binary relation on a set S. Then: r is reflexive means (?x)(x ? S ?(x,x) ? r) r is symmetric means (?x)(?y)(x ? S ? y ? S ? (x,y) ? r ? (y,x) ? r) r is transitive means (?x)(?y)(?z)(x?S ? y?S ? z?S ? (x,y) ? r ? (y,z) ? r ? (x,z) ? r) r is antisymme
E N D