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
Rule for Pairs
Relation
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 (112) — abstractions linked here by typed relations
-
Accessibility Relation Domain-specific is a kind of Relation
every accessibility relation is a binary relation on one set of worlds; this is the broader abstraction this entry instantiates by strict subsumption.
-
Action groupoid Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the group G and left or right action on X, object set X, arrow set or action pairs, source target identity inverse and composition maps, action-law verification, orbits as connected components, stabilizers as isotropy and topological Lie or stack variants.
-
Bibliographic Coupling Domain-specific is a kind of Relation
Shared outgoing references define a checkable binary association between two documents.
-
Binary relation Domain-specific is a kind of Relation
A binary relation literally instantiates association between entities, while the ordered-pair subset formalism supplies its autonomous mathematical residual.
-
BIT predicate Domain-specific is a kind of Relation
BIT is a particular binary relation on nonnegative integers with a specified digit-membership rule.
- Blackwell Informativeness Order Domain-specific is a kind of Relation
Blackwell dominance is a specialized relation between two compatible statistical experiments.
- Calkin correspondence Domain-specific is a kind of Relation
The Calkin correspondence is a bijective relation between operator ideals and invariant sequence spaces.
- Case grammar Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the predicate and lexical sense, participant inventory, named semantic roles, case-frame valency and optionality, constraints on role co-occurrence, mapping to surface arguments and adjuncts, treatment of alternations and the adopted theoretical version.
- Category of Markov kernels Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the objects as measurable spaces, morphism kernel k from X times sigma-algebra of Y to nonnegative reals, probability normalization and measurability conditions, Dirac identity kernel, composition integral over the intermediate space, associativity and unit laws, deterministic measurable-function embedding, monoidal product when used and probability subprobability or s-finite variants.
- Category of relations Domain-specific is a kind of Relation
What makes it its own entry: the domain-specific identity determined by objects are sets, arrows are relations, identities are diagonals, and composition is the declared existential rule.
- Cauchy matrix Domain-specific is a kind of Relation
Each entry encodes the same reciprocal relation between row and column parameters.
- Chain complex Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the grading set, module or abelian-group object in each degree, differential direction and degree, homomorphisms d_n, equation d_{n-1} d_n equals zero, cycle and boundary subobjects, homology quotient, chain maps and any augmentation boundedness or coefficient convention.
- Chemical Bond Domain-specific is a kind of Relation
A Chemical Bond is a Relation among atoms or ions characterized by stabilizing electronic organization.
- Chromatic Mediant Domain-specific is a kind of Relation
A chromatic mediant is a binary relation on triads whose membership rule tests chord quality, third-related roots, and one shared pitch class.
- 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.
- Co-citation Domain-specific is a kind of Relation
Joint citation defines a binary relation on pairs of cited works.
- Commutative magma Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the nonempty carrier set, total closed binary operation, commutative identity for all pairs, absence or optional presence of associativity identity inverses and idempotence, parenthesization sensitivity, homomorphisms and submagmas and relation to commutative semigroups and quasigroups.
- Complex Hadamard matrix Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the order N and complex matrix, unit-modulus entry condition, Hermitian transpose, orthogonality equation H H dagger equals N I, normalized unitary form, equivalence operations, dephased representative and real-Hadamard and Fourier examples.
- Connected relation Domain-specific is a kind of Relation
What makes it its own entry: the domain-specific identity determined by the quantifier and equality convention are explicit and every required pair satisfies at least one directed relation.
- Contract curve Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the two consumers and two goods in the canonical Edgeworth box, total endowment and feasible allocations, each consumer’s origin and preferences, indifference curves and marginal rates of substitution, Pareto-efficiency condition and tangency, corner and nonsmooth cases, full contract curve, initial endowment and offer lens, competitive-equilibrium intersection and efficiency-versus-equity boundary.
- Control flow Domain-specific is a kind of Relation
Control flow is a program-typed possible-successor relation between executable points.
- Lexical Converse Relation Domain-specific is a kind of Relation
**Relation** is the broader abstraction this entry instantiates.
- Correlation function (quantum field theory) Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the quantum field theory state or vacuum, field operators and spacetime points, ordering prescription, n-point function definition, generating functional and source derivatives, gauge and symmetry properties, regularization renormalization and contact terms, analytic continuation and relation to spectra observables and S-matrix.
- 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
It remains its own entry because its identity is fixed by the language and sentence structure, moved phrase and base position, pronoun or epithet, coindexation and intended reading, movement path and crossover geometry, c-command and binding relations, strong or weak subtype, grammaticality evidence and competing theoretical analysis.
- Direct reference theory Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the expression class and utterance context, referent and reference-fixing relation, semantic content or proposition, rigidity across possible worlds, descriptive information and its metasemantic role, identity and substitution cases, empty and fictional names and contrast with Fregean mediated reference.
- Discourse Relation Domain-specific is a kind of Relation
Discourse Relation is a domain-specific kind of relation under the frozen identity and differentia.
- Distribution (Differential Geometry) Domain-specific is a kind of Relation
The relata are manifold points and tangent subspaces (equivalently, points and tangent vectors admitted by those subspaces); the arity and domains are explicit; and the rule “(v \in \Delta_x)” decides which point–vector pairs belong.
- Dynamic Bayesian network Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the time-indexed variables and state space, initial-slice distribution, intra-slice DAG, inter-slice parent links and temporal order, conditional probability distributions, stationarity and Markov-order assumptions, unrolling horizon, evidence sequence and filtering smoothing prediction or learning task.
- Efficient cause Domain-specific is a kind of Relation
Efficient cause is a domain-specific kind of Relation: An efficient cause is the agent, interaction, or initiating source that brings a change or entity about within Aristotle's four-cause explanatory scheme.
- Epithet Domain-specific is a kind of Relation
The candidate literally establishes a recurrent association between a descriptive expression and its bearer; What makes it its own entry: the stable name-adjacent relation between descriptive expression and bearer, not every adjective, title, nickname, slur, honorific, or alias.
- Étale morphism Domain-specific is a kind of Relation
Étale morphism is a domain-specific kind of Relation: An étale morphism is a scheme morphism that is smooth of relative dimension zero, equivalently locally of finite presentation, flat, and unramified, providing the algebraic analogue of a local isomorphism.
- Euler Line Domain-specific is a kind of Relation
**Relation** is the broader abstraction this entry instantiates.
- Expander graph Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the finite graph and directed or undirected convention, degree bound or regularity, subset-size range, vertex or edge boundary, expansion ratio and constant, adjacency or normalized-Laplacian spectrum, eigenvalue-gap relation, family asymptotics and connectivity and mixing consequences.
- Extension (predicate logic) Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the formal language and model, domain of discourse, n-ary predicate symbol and interpretation, ordered n-tuples, satisfaction or truth condition, set-builder extension, characteristic-function equivalence and distinction from intension and variation across interpretations.
- 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.
- Frenet–Serret formulas Domain-specific is a kind of Relation
The typed relata are an arc-length parameterized regular curve, its frame fields `T`, `N`, and `B`, their derivatives, and the scalar functions `κ` and `τ`.
- Gutenberg–Richter law Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the geographic region and time window, earthquake catalog and magnitude scale, completeness magnitude, cumulative count N at or above M, log-ten relation and a and b parameters, estimation and uncertainty, upper-tail deviations and temporal or spatial variation.
- Incidence (geometry) Domain-specific is a kind of Relation
Geometric incidence is a relation connecting heterogeneous carriers such as points, lines, and planes.
- Incidence algebra Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the locally finite poset and coefficient ring, interval domain, function space, convolution order and finite sum, unit, zeta and Möbius functions and any reduced subalgebra convention.
- Inserter category Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the categories C and D, parallel functors, object pairs, comparison-arrow direction, commuting-square equation, identities and composition, size convention, universal property, and relation to comma or equalizer constructions.
- Interaction (statistics) Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the outcome and two or more predictors, model family and link scale, main effects and interaction term or nonparametric surface, reference levels and coding, conditional marginal effect and contrast, null of additivity on the chosen scale, estimation uncertainty and visualization, causal assumptions when effect modification is claimed, hierarchy or marginality and distinction from confounding mediation and simple correlation.
- Jordan operator algebra Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the real or complex Banach carrier, bilinear Jordan product, commutativity and Jordan identity, norm compatibility, unit and positivity, concrete or abstract JB or JBW subtype.
- Kinship Relation Domain-specific is a kind of Relation
A kinship relation is a Relation specialized by culturally or legally recognized descent, marriage, adoption, or affinity rules.
- Leader–member exchange theory Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the organization and dyads, leader and member roles, LMX construct and scale, relationship-development stage, reciprocity, differentiation, outcomes, team context, fairness, alternative explanations and longitudinal evidence.
- Logical Consequence Domain-specific is a kind of Relation
Logical consequence is a formal relation between a premise collection and a conclusion.
- 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.
- Market Relation Domain-specific is a kind of Relation
A Market Relation is a Relation specialized to economically structured roles and links.
- Matrilateral Domain-specific is a kind of Relation
Matrilateral is a Relation locating a person or kin tie on the mother's side of a focal individual.
- Metric tensor Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the smooth manifold and tangent bundle, field of symmetric bilinear forms, smoothness, nondegeneracy and signature, coordinate components and transformation law, vector norm or interval, inverse metric, induced volume form, Levi-Civita connection and geodesics, Riemannian versus pseudo-Riemannian cases and relation to metric-space distance.
- Modular multiplicative inverse Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the integer a and positive modulus m, residue-class convention, congruence ax equals one modulo m, gcd of a and m equals one, Bézout identity or extended-Euclidean computation, unique inverse class, representative normalization and relation to units in the quotient ring.
- Morphism of schemes Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the source and target schemes, continuous map, structure-sheaf homomorphism, stalk locality, affine-chart ring maps, gluing and any claimed morphism property.
- Multivalued function Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the domain and codomain, graph relation, value-set and empty-value convention, single-valued inclusion, selection, inverse, continuity or measurability notion, compactness and convexity, and branch interpretation.
- Necklace ring Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the commutative base ring, infinite sequences indexed by positive integers, pointwise addition, multiplication formula using lcm and gcd, additive and multiplicative identities, associativity and distributivity, necklace-coordinate formal-power-series map and relation to big Witt vectors and necklace polynomials.
- Negative thermal expansion Domain-specific is a kind of Relation
What makes it its own entry: Density anomalies, shrinkage during curing, and irreversible phase changes are not automatically equilibrium negative thermal expansion.
- Odds Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the event and complement, probability p, odds in favor p divided by one minus p and odds against inverse, ratio notation, conversion back to probability, endpoint behavior, log-odds, fair versus offered odds, fractional decimal and moneyline conventions, stake return and implied probability and bookmaker margin.
- Orthoptic (geometry) Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the source plane curve and regularity domain, observation point, two real tangent lines and their contact points, angle convention, orthogonality condition, elimination or envelope derivation, resulting locus and excluded singular or degenerate points, empty and complex cases and generalization to fixed-angle isoptics.
- Patrilineality Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the society and kinship terminology, focal person, father and male-line ancestors, descent-group membership rule, agnatic lineage and clan, transmitted surname title property office or ritual rights, marriage residence and alliance relations, women’s membership and children, adoption and exceptions, genealogical depth and distinction from matrilineal bilateral and patriarchal organization.
- Polar space Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the division ring or field, vector or abstract point set, form and polarity if classical, points lines and singular subspaces, rank, one-or-all axiom, thickness and nondegeneracy and projective-index convention.
- Potts model Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the graph or lattice, q states, edge couplings, Hamiltonian sign, temperature and boundary conditions, partition function and observable or phase claim.
- Principle of marginality Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the response and explanatory variables, coding and reference levels, main effects and interaction terms, marginal averaging interpretation, hierarchy or heredity rule, model matrix and estimability, hypothesis tested, recoding invariance and justified exceptions such as structural zero or mechanistic constraint.
- Product term Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the Boolean variables, literal set and complement convention, conjunction operator, repeated or contradictory literals, represented satisfying-assignment subcube, distinction between product term and minterm and use within sum-of-products and implicant forms.
- Proximity effect (audio) Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the directional pressure-gradient microphone and polar pattern, sound source and distance, front and rear acoustic paths or ports, near-field pressure and phase difference, frequency response, low-frequency boost magnitude, angle and capsule design, intentional vocal use and coloration, measurement reference and distinction from inverse-square level change room proximity and electrical equalization.
- Quadrisecant Domain-specific is a kind of Relation
The identity is an incidence relation between one line and four locations on a carrier.
- Rational dependence Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the finite or declared infinite collection of real or complex numbers, scalar field Q, rational coefficient tuple, not-all-zero condition, vanishing linear combination, equivalent integer relation after clearing denominators, witness and minimal relation, rational span and rank, independence negation and distinction from algebraic and real-linear dependence.
- 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
What makes it its own entry: A product using rows and columns is not relational merely by appearance, and an RDBMS implementation should be distinguished from the abstract relational model.
- Relational operator Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the programming language and operator token, operand types and evaluation order, coercion or dispatch, relation semantics, result type and truth convention, exceptional unordered or null cases and laws such as reflexivity symmetry transitivity and consistency with hashing or ordering.
- Relational space Domain-specific is a kind of Relation
The theory constructs spatial fact from relations among entities.
- 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
It remains its own entry because its identity is fixed by the cobordism manifold W and ordered boundary components M and M-minus, dimension and smooth PL or topological category, inclusion of M, homotopy-equivalence and simple torsion condition, unrestricted opposite inclusion, induced fundamental-group maps and kernel, handle interpretation and comparison with h- and s-cobordism.
- Sister Group Domain-specific is a kind of Relation
For a declared rooted resolved tree, sisterhood is a specified binary association true exactly of the two complete immediate daughter subtrees of one node.
- Six degrees of separation Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the population and time window, social-tie definition and direction, graph construction and sampling, connected component, shortest-path metric, mean median or diameter statistic, claimed six-step threshold, unreachable pairs and empirical uncertainty and distinction between popular slogan and measured small-world property.
- Span (category theory) Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the ambient category, endpoint and apex objects, two morphisms and common-domain orientation, span isomorphism, required pullbacks, composition, identity spans and bicategorical or ordinary quotient convention.
- Stellar encounter Domain-specific is a kind of Relation
The relata are two or more stars and, where relevant, the bound disk, planet, or small-body reservoir whose dynamics are perturbed.
- Stochastic ordering Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the two random variables or probability laws and common ordered support, named stochastic-order variant, defining survival expectation transform or density inequality, function class and integrability assumptions, weak and strict conventions, partial-order properties, coupling or quantile characterization, implication hierarchy among orders and incomparability cases.
- Symmetric relation Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the carrier set and homogeneous binary relation, universal implication from a R b to b R a, equality with converse relation, pair-set representation, vacuous and nonempty cases, reflexive and transitive independence and contrasts with asymmetric and antisymmetric relations.
- Tower of objects Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the category, reversed natural-number index category, object A_n at each index, bonding maps A_i to A_j for i greater than j, identity and composition laws, successive-map sufficiency, morphisms of towers and existence and construction of inverse limit.
- Transactionalism Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the ongoing situation or field, participants and environmental conditions, mutually constitutive relations, temporal process, inquiry problem and consequences, rejection of self-action and preconstituted interaction, language and valuation, observer participation and practical reconstruction and distinction from commercial transactional behavior.
- Transtextuality Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the focal and related texts or categories, Genettean relation type, direction, explicit or implicit evidence, transformation and chronology, paratext boundary, and distinction from broad influence claims.
- Unital (geometry) Domain-specific is a kind of Relation
The design is constituted by exact pair-to-block incidence relations.
- Van den Berg–Kesten inequality Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the finite product probability space and coordinate independence, events A and B, cylinder certificates, disjoint-occurrence operator, increasing-event qualification for BK, general-event BKR or Reimer form, probability product bound and limiting or infinite-volume extension conditions.
- Visibility (geometry) Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the ambient Euclidean space and dimension, free-space and obstacle geometry, point locations, closed-segment convention, boundary and tangency rule, mutual or directed visibility, degeneracies, exact arithmetic assumptions and derived graph or region if any.
- Weekend effect Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the hospital population and study period, weekend and weekday definition, admission treatment or discharge exposure, emergency and elective case mix, outcome and follow-up window, observed and expected rates, covariate adjustment and severity measurement, staffing service and selection mechanisms, model design and uncertainty, residual confounding and causal-interpretation boundary.
- Weighted network Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the node and edge sets, directedness and multiplicity, weight domain units and semantics, zero missing and negative-value conventions, weighted adjacency representation, node strength, path-composition rule, normalization and thresholding and weighted versions of distance clustering centrality and community analysis.
- Weyl law Domain-specific is a kind of Relation
It remains its own entry because its identity is fixed by the compact manifold or bounded domain, dimension and volume, Laplace–Beltrami or elliptic operator, boundary conditions, eigenvalue ordering and multiplicity, counting function N(lambda), high-lambda limit, leading constant and exponent, remainder term and geometric and boundary assumptions.
- 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 includes Relation
Quality inherence contains the bearer-to-quality inherence relation that binds every property-token to the particular on which it existentially depends.
- Event Correlation Domain-specific includes Relation
A specified association among observed events is an internal part of every event-correlation operation.
- Grammatical Relation Domain-specific presupposes Relation
**Relation** is the broader abstraction this entry instantiates.
- Information-resource tagging Domain-specific includes Relation
The recorded resource–label relation is an identity-bearing constituent of the tagging operation.
- Immaterial Spatial Entity Domain-specific includes Relation
An immaterial spatial entity contains constitutive relations to material bearers rather than material substance of its own.
- Parasocial Interaction Domain-specific includes 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.
- Path Expression Domain-specific includes Relation
A path expression contains one or more language-defined navigation-step relations as identity-bearing semantic constituents.
- Prolative case Domain-specific presupposes Relation
Prolative Case is a language-specific morphosyntactic category or marker, not a kind of a tuple relation.
- Recursive join Domain-specific includes Relation
A recursive join contains a relation as the operand repeatedly matched against recursively derived rows.
- Relational Model Domain-specific includes Relation
Mathematical relations are the data primitive on which the relational model's typed tuples, closed operator algebra, and query rewrites operate.
- Routing Loop Domain-specific presupposes Relation
A routing loop presupposes a destination-specific installed next-hop relation whose composition closes back to a router.
- Social Bonding Domain-specific includes 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.
- Truncated Projective Plane Domain-specific includes Relation
The inherited point-line incidence relation is an identity-bearing internal constituent of every truncated projective plane.
- 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.