mathematics, a binary relation associates elements of one set, called the domain, with elements of another set, called the codomain. A binary relation over sets...

In mathematics, a homogeneous relation (also called endorelation) on a set X is a binary relation between X and itself, i.e. it is a subset of the Cartesian...

In mathematics, a binary relation R {\displaystyle R} on a set X {\displaystyle X} is reflexive if it relates every element of X {\displaystyle X} to...

relation is a type of binary relation. An example is the relation "is equal to", because if a = b is true then b = a is also true. Formally, a binary...

In mathematics, a binary relation R on a set X is transitive if, for all elements a, b, c in X, whenever R relates a to b and b to c, then R also relates...

two arguments Binary operation, a mathematical operation that takes two arguments Binary relation, a relation involving two elements Binary-coded decimal...

In mathematics, a binary relation R {\displaystyle R} on a set X {\displaystyle X} is antisymmetric if there is no pair of distinct elements of X {\displaystyle...

Binary relation (or diadic relation – a more in-depth treatment of binary relations) Equivalence relation Homogeneous relation Reflexive relation Serial...

Rx1⋯xn and using postfix notation by x1⋯xnR. In the case where R is a binary relation, those statements are also denoted using infix notation by x1Rx2. The...

mathematics, an equivalence relation is a binary relation that is reflexive, symmetric and transitive. The equipollence relation between line segments in...

In mathematics, an asymmetric relation is a binary relation R {\displaystyle R} on a set X {\displaystyle X} where for all a , b ∈ X , {\displaystyle...

single element under ideal operations is called a principal ideal. A binary relation on a set A can be defined as a subset R of A × A , {\displaystyle A\times...

term, as in binary code. For instance, 'hot' gains meaning because of its relation to 'cold,' and vice versa. It is not a contradictory relation but a structural...

(finitary relation, like "person x lives in town y at time z"), and relations between classes (like "is an element of" on the class of all sets, see Binary relation...

canonically identified with the quotient topology under the equivalence relation defined by f. Dually, for a function f from a set S to a topological space...

a binary relation is the relation that occurs when the order of the elements is switched in the relation. For example, the converse of the relation 'child of'...

In mathematics, a binary relation R is called well-founded (or wellfounded or foundational) on a set or, more generally, a class X if every non-empty...

A logical matrix, binary matrix, relation matrix, Boolean matrix, or (0, 1)-matrix is a matrix with entries from the Boolean domain B = {0, 1}. Such a...

equivalence relation (often abbreviated as PER, in older literature also called restricted equivalence relation) is a homogeneous binary relation that is...

mathematics, the transitive closure R+ of a homogeneous binary relation R on a set X is the smallest relation on X that contains R and is transitive. For finite...

mathematics, especially in order theory, a preorder or quasiorder is a binary relation that is reflexive and transitive. The name preorder is meant to suggest...

arguments. Mathematics portal Philosophy portal Logic of relatives Binary relation Ternary relation Theory of relations Signature (logic) Parameter p-adic number...

partial order without incomparable pairs Total relation, which may also mean connected relation (a binary relation in which any two elements are comparable)...

case of a logical matrix representing a binary relation R, the transpose corresponds to the converse relation RT. The transpose of a matrix A, denoted...

axiomatization of a calculus of relations. Roughly, a relation algebra is to a system of binary relations on a set containing the empty (0), universal...

In mathematics, a binary relation R ⊆ X×Y between two sets X and Y is total (or left total) if the source set X equals the domain {x : there is a y with...

A\triangleleft R} of a binary relation R {\displaystyle R} between E {\displaystyle E} and F {\displaystyle F} may be defined as a relation having domain A ...

a binary relation is formally defined as a set of pairs, i.e. a subset of the Cartesian product A × B of some sets A and B, so a ternary relation is...

single binary operation, satisfying certain axioms. If G {\displaystyle G} is a group with operation ∗ {\displaystyle \ast } , a congruence relation on G...

which any two elements are comparable. That is, a total order is a binary relation ≤ {\displaystyle \leq } on some set X {\displaystyle X} , which satisfies...