Relation¶

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 (16) — more specific cases that build on this

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.
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.
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.
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.

▸ Show 11 more

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.
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.
Supersession Prime is a kind of Relation
Supersession is a Relation specialized by predecessor, successor, shared role, explicit displacement, and a fixed temporal direction.
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.
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.
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.