The symmetric property, or just symmetry, in Set theory, is a property of a binary Relation on a Set XXX: