Also found in: Dictionary, Thesaurus, Medical, Legal, Acronyms, Idioms, Wikipedia.


1. Law the principle by which an act done at one time is regarded in law as having been done antecedently
2. Law the statement of grounds of complaint made by a relator
3. Logic Maths
a. an association between ordered pairs of objects, numbers, etc., such as … is greater than …
b. the set of ordered pairs whose members have such an association
4. Philosophy
a. internal relation a relation that necessarily holds between its relata, as 4 is greater than 2
b. external relation a relation that does not so hold



a philosophical category that expresses the nature of the disposition of the elements of a particular system and their interdependence; an individual’s emotional-volitional attitude toward something, the expression of his position; and the mental comparison of different objects or aspects of a given object.

Dialectical materialism postulates that a relation has an objective and universal character. Only things, their properties, and relations that are interconnected and interrelated in infinitely many ways with other things and properties exist in the world. V. I. Lenin regarded as accurate Hegel’s idea that each concrete thing stands in various relations to all other things (Poln. sobr. soch., 5th ed., vol. 29, p. 124). Relations form systems of varying degrees of complexity from suitable elements, and a given relation may be present in various things (internal relations) or between different things (external relations). An example is any law as a significant relation between things and phenomena. Conversely, a given thing can enter into infinitely diverse relations with other things, which characterizes the multiplicity of the properties of a given thing. Anything may be considered as the relationship among its constituent elements, and if the relationship changes the thing itself also changes. For example, a different arrangement of the same elements in the words kot (cat) and tok (current) changes the meaning of the words. At the same time, any relation characterizes precisely those things between which it exists. For example, the relation “less than” or “greater than” characterizes quantities; the relation “south of describes the position of something with respect to something else; and the relation “father” denotes kinship. Consequently, a relation may function as a property or attribute of things. In different relations a thing reveals different and even contradictory properties. The relations of objects and phenomena with respect to each other are infinitely diverse and include spatial, temporal, and causal relations, the relations between part and whole, and the relations between form and content and between the external and internal. Social relations constitute a special type of relation.

Scientific thinking reveals the essence of things and the lawlike regularities of their origin and development by identifying their relations with other things. Describing the elements of the dialectic, Lenin pointed out the necessity of investigating relations: “The entire totality of the manifold relations of this thing to others,” “the relations of each thing … are not only manifold, but general, universal. Each thing (phenomenon, process, …) is connected with every other; the endless process of the discovery of new sides, relations” (ibid., pp. 202–03). The growing role of systems-structural methods of investigation has made the category of relations increasingly important in modern science.


Relations in logic. In the meaningful statements of natural languages, a relation is usually expressed by a predicate that has more than one subject or one subject with complements. Depending on the number of subjects (and complements), they are called the terms, subjects, or elements of the given relation. A distinction is made between two-place (binary, two-term) relations (“a is less than b,” “the Oka is shorter than the Volga,” “the rails are parallel to each other”), three-place relations (ternary, three-term; “point A lies between B and C,” “2 plus 3 equals 5”), four-place relations (“the numbers x1, y1, x2, and y2 are proportional”), and n-place (n-ary, n-term) relations. These meaningful ideas are realized in the precise terminology of set theory (algebra) and mathematical logic. The first of these precise reformulations reflects the extensional aspect of the concept of relation, and the second reflects the intensional (meaningful, contensive).

In set-theoretic terminology, by a binary (n-ary) relation we mean a set of ordered pairs (respectively, ordered n-tuples) of the members of some set (the field of the given relation). If the ordered pair < x, y > belongs to some relation R, then it also is said that x stands in relation R to y [symbolically, R(xy) or xRy]. The set of the first elements of ordered pairs belonging to relation R is its domain of definition (departure), and the set of the second elements constitutes the range of values (arrival). Similar concepts also are introduced for multiplace relations. A relation consisting of the pairs < y, x > obtained by transposition of the members of a given relation R of the pairs < x, y > is said to be the inverse of R and is designated as R-1. The range of values of one of these mutually inverse relations [the term is justified by the fact that (R-1)-1 is always equal to R] serves as the domain of definition of the other, and the domain of definition serves as the range of values. Since relations are particular cases of sets, the operations of set theory, in particular the union, intersection, and complement of relations, are introduced for them in the usual manner. Let us consider certain properties and basic types of binary relations—the class of relations that is most important for application and theoretical constructions.

PROPERTIES OF BINARY RELATIONS. If for any x, xRx is true, then R is called reflexive; examples include the relation of the equality of numbers (every number is equal to itself) and the similitude of triangles. If for every x, xRx does not obtain (symbolically, ⌉ xRx), then R is said to be antireflexive, or irreflexive (for example, the relation of the perpendicularity of straight lines —no straight line is perpendicular to itself)- If for any x and y that are not equal to each other, one stands in relation R to the other, that is, if one of the three relations xRy, x = y, or yRx is satisfied, then R is said to be connected (for example, the relation <). If for any x and y, yRx follows from xRy, then R is said to be symmetric (for example, the relation of equality = or the relation of inequality ≠). If for any x and y, x = y follows from xRy and xR-1y (that is, if R and R-1 are satisfied simultaneously only for equal terms), then R is called antisymmetric (for example, the relation ≤ or ≥ for any objects). If for any x and y, ⌉ xRy follows from xRy, then R is called asymmetric (such as the relation < or >, since no object is greater or smaller than itself). If for any x, y, and z, xRz follows from xRy and yRz, then R is said to be transitive (for example, the relations = or <, but not ≠). It also would be possible to determine other properties of binary relations, but it is not difficult to show that all other properties are defined in terms of these properties by means of logical operations.

TYPES OF RELATIONS. Many of the types of relations cited below have already been encountered in the examples given above. Combining the properties of reflexivity, symmetry, and transitiveness, we come to the most important type of relation —the relation of equality (identity, equivalence). It is not difficult to show that any such relation induces (defines) a partitioning of the set in which it is defined into nonintersecting classes, called equivalence classes: the elements connected by a given relation fall into a common class, whereas those that are not connected fall into different classes. Thus, elements that fall into a common class are in some sense indistinguishable, which determines the importance of this type of relation.


Tarski, A. V vedenie v logiku i metodologiiu deduktivnykh nauk. Moscow, 1948. (Translated from English.)
Church, A. Vvedenie v matematicheskuiu logiku, vol. 1. Moscow, 1960. (Translated from English.)
Uemov, A. I. Veshchi, svoistva i otnosheniia. Moscow, 1963.
Shreider, Iu. A. Ravenstvo, skhodstvo, poriadok. Moscow, 1971.



(computer science)
A two-dimensional table in which data are arranged in a relational data structure.
A set of ordered pairs. Also known as correspondence.


A subset of the product of two sets, R : A x B. If (a, b) is an element of R then we write a R b, meaning a is related to b by R. A relation may be: reflexive (a R a), symmetric (a R b => b R a), transitive (a R b & b R c => a R c), antisymmetric (a R b & b R a => a = b) or total (a R b or b R a).

See equivalence relation, partial ordering, pre-order, total ordering.


References in classic literature ?
Men uniting in these combinations always assume such relations toward one another that the larger number take a more direct share, and the smaller number a less direct share, in the collective action for which they have combined.
And so without particularly analyzing all the contiguous sections of a cone and of the ranks of an army, or the ranks and positions in any administrative or public business whatever from the lowest to the highest, we see a law by which men, to take associated action, combine in such relations that the more directly they participate in performing the action the less they can command and the more numerous they are, while the less their direct participation in the action itself, the more they command and the fewer of them there are; rising in this way from the lowest ranks to the man at the top, who takes the least direct share in the action and directs his activity chiefly to commanding.
In order to ascertain the real character of the government, it may be considered in relation to the foundation on which it is to be established; to the sources from which its ordinary powers are to be drawn; to the operation of those powers; to the extent of them; and to the authority by which future changes in the government are to be introduced.
I have been told that in some public discourses of mine my reverence for the intellect has made me unjustly cold to the personal relations. But now I almost shrink at the remembrance of such disparaging words.
Nor does it point to any relations of friendship or love known and described in society, but, as it seems to me, to a quite other and unattainable sphere, to relations of transcendent delicacy and sweetness, to what roses and violets hint and foreshow.
Cause and effect, real affinities, the longing for harmony between the soul and the circumstance, the progressive, idealizing instinct, predominate later, and the step backward from the higher to the lower relations is impossible.
So there you are already with your relation. It's the end of your goodness."
"About such relations?" He looked agreeably surprised.
The view here expressed, that relation to an object is an ultimate irreducible characteristic of mental phenomena, is one which I shall be concerned to combat.
The next point of criticism concerns the relation of content and object.
It is held that knowledge of the outer world is constituted by the relation to the object, while the fact that knowledge is different from what it knows is due to the fact that knowledge comes by way of contents.
This song was tumultuously applauded--for friends and dependents make a capital audience--and the poor relations, especially, were in perfect ecstasies of rapture.