Relation Theory

← Back to Domain-Specific Abstractions by Domain

4 domain-specific abstractions whose origin domain is Relation Theory.

• Connected relation — A binary relation that compares every pair of distinct elements in at least one direction.
• Reflexive relation — A binary relation on a set that relates every element of the set to itself.
• Symmetric closure — The smallest symmetric relation containing a given binary relation R, equal to the union of R with its converse.
• Symmetric relation — A binary relation in which a related pair remains related when its two elements are reversed.