Relation¶

Version: v3 · 2026-08-30 · History
Prime #: 3
Origin domain: Mathematics
Also from: Computer Science & Software Engineering, Philosophy
Aliases: Relation Mathematical, Association, Link, Correspondence
Related primes: Set and Membership, Function (Mapping), Network, Order, Equivalence Relation

Core Idea¶

Describing associations between elements, such as equivalence, ordering, or dependency.

How would you explain it like I'm…

Things That Go Together

Think about how you can say which kids in class are friends. A relation is just a list of pairs that go together: Sam-and-Alex are friends, Mia-and-Jo are friends. Anyone can check the list. That is what a relation does: it tells you which things go together under some rule.

Rule for Pairs

A relation is a way of saying that certain things go together according to some rule. "Is the parent of," "is taller than," and "lives in the same city as" are all relations. You can write a relation as a list of pairs (or triples) that fit the rule, and every pair not on the list doesn't fit. Once you have such a list, you can do useful things with it: combine two relations, flip a relation around, or check if something is connected to something else through a chain.

Relation

A relation is a precise way of stating which combinations of things "belong together" under some rule. Formally, if you pick two sets — say all students and all clubs — a relation between them is just a chosen collection of pairs (student, club): the pairs in the relation count as "is a member of," and the rest don't. Relations can involve two things, three, or more. They're more general than functions (which require each input to map to exactly one output) and weaker than causal claims (which add direction and mechanism). Because a relation is just a set of tuples, you can use all the tools of set theory on it: union two relations, take the inverse, follow chains of links. This is the structural backbone of graphs, databases, and any classification system.

A relation is a specified pattern of association between elements: a designation of which combinations of entities stand together under some rule of interest. Formally, an n-ary relation is a subset of the Cartesian product of n sets — a chosen collection of n-tuples that count as "in the relation" while every other tuple is "out." Specifying a relation requires (i) the relata: which sets the entities are drawn from; (ii) the arity: how many entities participate in a single instance (binary like "is married to," ternary like "x lies between y and z"); and (iii) the membership rule, given either extensionally (a literal list) or intensionally (a predicate). The point of treating relations as first-class objects is that the whole machinery of set theory — union, intersection, complement, inverse, composition — becomes an algebra of associations. Structural properties a relation may possess (reflexivity, symmetry, transitivity, antisymmetry) license inferences that transfer wherever the relation appears: a partial order behaves like a partial order whether the relata are numbers, tasks in a project, or moral obligations. This is why graph theory, relational databases, order theory, and equivalence-based classification all rest on the same underlying construct.

Broad Use¶

Powerfully captures connections in networks, hierarchies, and relational databases.

Clarity¶

Simplifies understanding of connections, e.g., kinship ties in anthropology or dependency chains in supply logistics.

Manages Complexity¶

Abstracts how entities are connected, rather than focusing on their individual details.

Abstract Reasoning¶

Promotes modeling of interdependencies and reasoning about influence and interaction.

Knowledge Transfer¶

Useful in network theory (social, neural, or transport networks), graph theory, and comparative studies.

Example¶

In a family tree, relationships like parent, child, and sibling describe associations between individuals.

Relationships to Other Abstractions¶

Current abstraction Relation Prime

Foundational — no parent edges in the catalog.

Children (92) — more specific cases that build on this

Accessibility Relation Domain-specific is a kind of Relation

every accessibility relation is a binary relation on one set of worlds; this is the minimal prospective parent by strict subsumption.
Action groupoid Domain-specific is a kind of Relation

The proposed strict upward parent is prime:relation.
Binary relation Domain-specific is a kind of Relation

The proposed strict upward parent is prime:relation.
Biology of human bonding Domain-specific is a kind of Relation

The proposed strict upward parent is prime:relation.
Case grammar Domain-specific is a kind of Relation

The proposed strict upward parent is prime:relation.

▸ Show 87 more

Category of Markov kernels Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Category of relations Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Cauchy matrix Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Chain complex Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Citation Pointer Domain-specific is a kind of Relation
Citation Pointer is a directed Relation specialized to a claim, a source artifact, disambiguation metadata, and a resolution route.
Cognitive ecology of religion Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Commutative magma Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Complex Hadamard matrix Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Connected relation Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Contract curve Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Lexical Converse Relation Domain-specific is a kind of Relation
**Relation** is the proposed minimal parent.
Correlation function (quantum field theory) Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Cross-reference Relation Domain-specific is a kind of Relation
Cross-reference Relation is a specialization of Relation, retaining the parent's defining structure while adding the child's specific commitments.
Crossover effects Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Direct reference theory Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Dynamic Bayesian network Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Epithet Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Euler Line Domain-specific is a kind of Relation
**Relation** is the proposed immediate parent.
Euler's identity Domain-specific is a kind of Relation
Euler's Identity instantiates Relation because it states one exact equality connecting two complex-number expressions and derives that connection from the exponential–trigonometric bridge.
Expander graph Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Extension (predicate logic) Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Format Relation Domain-specific is a kind of Relation
Format Relation is a binary Relation specialized to a logical resource and one controlled identifier for the form in which it is realized.
Function word Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Golden ellipse Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Gutenberg–Richter law Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Incidence algebra Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Inserter category Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Interaction (statistics) Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Jordan operator algebra Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Leader–member exchange theory Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Logophoricity Domain-specific is a kind of Relation
The accepted reference-grade review places Logophoricity under Relation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Metric tensor Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Modular multiplicative inverse Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Morphism of schemes Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Multivalued function Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Necklace ring Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Negative thermal expansion Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Network monarchy Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Odds Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Orthoptic (geometry) Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Patrilineality Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Polar space Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Potts model Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Principle of marginality Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Product term Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Proximity effect (audio) Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Quadrisecant Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Rational dependence Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Reciprocal Construction Domain-specific is a kind of Relation
**Relation** is the strict parent by composition.
Relational database Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Relational operator Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Relational space Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Publisher Relation Domain-specific is a kind of Relation
Publisher Relation is a directed Relation specialized to a released artifact, the agent responsible for release, and a release-time accountability scope.
Schema Mapping Relation Domain-specific is a kind of Relation
Schema Mapping Relation is a binary Relation specialized by cross-scheme endpoints, a governed five-grade vocabulary, and per-grade inference limits.
Semi-s-cobordism Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Six degrees of separation Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Span (category theory) Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Stochastic ordering Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Symmetric relation Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Tower of objects Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Transactionalism Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Transtextuality Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Unital (geometry) Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Van den Berg–Kesten inequality Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Visibility (geometry) Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Von Kármán constant Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Weekend effect Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Weighted network Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Weyl law Domain-specific is a kind of Relation
The proposed strict upward parent is `prime:relation`.
Coaxiality Prime is a kind of Relation
The accepted reference-grade review places Coaxiality under Relation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Develops-From Relation Prime is a kind of Relation
Develops_from is a relation but a highly-specified one — one continuant through directed, qualitatively-distinct, rule-governed stages — adding the four commitments (continuant identity, directed ordering, qualitative change, generative rule) the bare relation lacks.
Located-In Relation Prime is a kind of Relation
Located_in is a relation but the specific mereotopological within-a-region-at-a-time relation with its own inference rules (no transitivity into parthood, time-indexed, non-constitutive) the generic relation lacks.
Necessity and Sufficiency Prime is a kind of Relation
The accepted reference-grade review places Necessity and Sufficiency under Relation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Other (philosophy) Prime is a kind of Relation
The accepted reference-grade review places Other (philosophy) under Relation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Predicate Prime is a kind of Relation
'a predicate is a one-PLACE relation, a relation is a multi-place predicate.' A (one-place) predicate is the unary special case of a relation; relation is the genus.
Reciprocal Additivity (Optic Equation) Prime is a kind of Relation
The accepted reference-grade review places Reciprocal Additivity (Optic Equation) under Relation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Supersession Prime is a kind of Relation
Supersession is a Relation specialized by predecessor, successor, shared role, explicit displacement, and a fixed temporal direction.
Transitive relation Prime is a kind of Relation
The accepted reference-grade review places Transitive relation under Relation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.
Quality inherence Domain-specific is part of Relation
Quality inherence contains the bearer-to-quality inherence relation that binds every property-token to the particular on which it existentially depends.
Grammatical Relation Domain-specific presupposes Relation
**Relation** is the minimal proposed parent.
Immaterial Spatial Entity Domain-specific is part of Relation
An immaterial spatial entity contains constitutive relations to material bearers rather than material substance of its own.
Parasocial Interaction Domain-specific is part of Relation
A felt relation between the audience member and mediated figure is an internal constituent of Parasocial Interaction even though only one endpoint represents the other.
Relational Model Domain-specific is part of Relation
Mathematical relations are the data primitive on which the relational model's typed tuples, closed operator algebra, and query rewrites operate.
Social Bonding Domain-specific is part of Relation
A durable relation between identifiable parties is an internal constituent of Social Bonding; without that first-class tie there is no bond to accumulate history or redirect later behavior.
Uniform space Domain-specific presupposes Relation
**Relation** (`prime:relation`).
Mach's Principle Prime presupposes Relation
Mach's principle presupposes relation because it grounds inertia in a body's relation to the total matter distribution.
Order Prime presupposes Relation
Order presupposes relation because a ranking is a particular binary relation satisfying transitivity together with reflexivity or irreflexivity and antisymmetry or asymmetry.

Not to Be Confused With¶

Relation is not Set and Membership because a relation is a pattern of association between tuples of elements, while a set groups individual elements as a collection—a set answers "what elements belong?"; a relation answers "which multi-element combinations are connected?"—sets are elements; relations are structured associations of tuples.
Relation is not Equivalence Relation because an equivalence relation is a specific type of relation with three mandatory axioms (reflexivity, symmetry, transitivity), while relation is the general concept of any structured association—all equivalence relations are relations, but most relations are not equivalence relations.
Relation is not Graph (Network) because a graph is a visual and computational representation of nodes and edges encoding specific types of relations, while relation is the abstract structural concept of association itself—a graph is a concrete instantiation of binary relations; relation is the foundational concept that graphs encode.