Binary relation in the context of Logical operations

In logic, a logical connective (also called a logical operator, sentential connective, or sentential operator) is an operator that combines or modifies one or more logical variables or formulas, similarly to how arithmetic connectives like ${\displaystyle +}$ and ${\displaystyle -}$ combine or negate arithmetic expressions. For instance, in the syntax of propositional logic, the binary connective ${\displaystyle \lor }$ (meaning "or") can be used to join the two logical formulas ${\displaystyle P}$ and ${\displaystyle Q}$, producing the complex formula ${\displaystyle P\lor Q}$.

Unlike in algebra, there are many symbols in use for each logical connective. The table "Logical connectives" shows examples.

A symmetric relation is a type of binary relation. Formally, a binary relation R over a set X is symmetric if:

where the notation aRb means that (a, b) ∈ R.

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 a to c.

Every partial order and every equivalence relation is transitive. For example, less than and equality among real numbers are both transitive: If a < b and b < c then a < c; and if x = y and y = z then x = z.

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

An example of a reflexive relation is the relation "is equal to" on the set of real numbers, since every real number is equal to itself. A reflexive relation is said to have the reflexive property or is said to possess reflexivity. Along with symmetry and transitivity, reflexivity is one of three properties defining equivalence relations.

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 subset (or subclass) S ⊆ X has a minimal element with respect to R; that is, there exists an m ∈ S such that, for every s ∈ S, one does not have s R m. More formally, a relation is well-founded if:$${\displaystyle (\forall S\subseteq X)\;[S\neq \varnothing \implies (\exists m\in S)(\forall s\in S)\lnot (s\mathrel {R} m)].}$$Some authors include an extra condition that R is set-like, i.e., that the elements less than any given element form a set.

Equivalently, assuming the axiom of dependent choice, a relation is well-founded when it contains no infinite descending chains, meaning there is no infinite sequence x₀, x₁, x₂, ... of elements of X such that x_n+1 R x_n for every natural number n.

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", "for every", or "given an arbitrary element". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

It is usually denoted by the turned A (∀) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier ("∀x", "∀(x)", or sometimes by "(x)" alone). Universal quantification is distinct from existential quantification ("there exists"), which only asserts that the property or relation holds for at least one member of the domain.

In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equivalently, a bijection is a relation between two sets such that each element of either set is paired with exactly one element of the other set.

A function is bijective if it is invertible; that is, a function ${\displaystyle f:X\to Y}$ is bijective if and only if there is a function ${\displaystyle g:Y\to X,}$ the inverse of f, such that each of the two ways for composing the two functions produces an identity function: ${\displaystyle g(f(x))=x}$ for each ${\displaystyle x}$ in ${\displaystyle X}$ and ${\displaystyle f(g(y))=y}$ for each ${\displaystyle y}$ in ${\displaystyle Y.}$

Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that".

In mathematics, the algebra of sets, not to be confused with the mathematical structure of an algebra of sets, defines the properties and laws of sets, the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures for evaluating expressions, and performing calculations, involving these operations and relations.

Any set of sets closed under the set-theoretic operations forms a Boolean algebra with the join operator being union, the meet operator being intersection, the complement operator being set complement, the bottom being ⁠${\displaystyle \varnothing }$⁠ and the top being the universe set under consideration.

In mathematics, an equivalence relation is a binary relation that is reflexive, symmetric, and transitive. The equipollence relation between line segments in geometry is a common example of an equivalence relation. A simpler example is numerical equality. Any number ${\displaystyle a}$ is equal to itself (reflexive). If ${\displaystyle a=b}$, then ${\displaystyle b=a}$ (symmetric). If ${\displaystyle a=b}$ and ${\displaystyle b=c}$, then ${\displaystyle a=c}$ (transitive).

Each equivalence relation provides a partition of the underlying set into disjoint equivalence classes. Two elements of the given set are equivalent to each other if and only if they belong to the same equivalence class.

In mathematics, especially order theory, the covering relation of a partially ordered set is the binary relation which holds between comparable elements that are immediate neighbours. The covering relation is commonly used to graphically express the partial order by means of the Hasse diagram.

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 product X × X. This is commonly phrased as "a relation on X" or "a (binary) relation over X". An example of a homogeneous relation is the relation of kinship, where the relation is between people.

Common types of endorelations include orders, graphs, and equivalences. Specialized studies of order theory and graph theory have developed understanding of endorelations. Terminology particular for graph theory is used for description, with an ordinary (undirected) graph presumed to correspond to a symmetric relation, and a general endorelation corresponding to a directed graph. An endorelation R corresponds to a logical matrix of 0s and 1s, where the expression xRy (x is R-related to y) corresponds to an edge between x and y in the graph, and to a 1 in the square matrix of R. It is called an adjacency matrix in graph terminology.

In mathematics, a ternary relation or triadic relation is a finitary relation in which the number of places in the relation is three. Ternary relations may also be referred to as 3-adic, 3-ary, 3-dimensional, or 3-place.

Just as 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 a set of triples, forming a subset of the Cartesian product A × B × C of three sets A, B and C.

In mathematics, a total order or linear order is a partial order in which any two elements are comparable. That is, a total order is a binary relation ${\displaystyle \leq }$ on some set ${\displaystyle X}$, which satisfies the following for all ${\displaystyle a,b}$ and ${\displaystyle c}$ in ${\displaystyle X}$:

1. ${\displaystyle a\leq a}$ (reflexive).
2. If ${\displaystyle a\leq b}$ and ${\displaystyle b\leq c}$ then ${\displaystyle a\leq c}$ (transitive).
3. If ${\displaystyle a\leq b}$ and ${\displaystyle b\leq a}$ then ${\displaystyle a=b}$ (antisymmetric).
4. ${\displaystyle a\leq b}$ or ${\displaystyle b\leq a}$ (strongly connected, formerly called totality).

Requirements 1. to 3. just make up the definition of a partial order.Reflexivity (1.) already follows from strong connectedness (4.), but is required explicitly by many authors nevertheless, to indicate the kinship to partial orders.Total orders are sometimes also called simple, connex, or full orders.