Hasse diagram in the context of Greatest element

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.

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, especially in order theory, the greatest element of a subset ${\displaystyle S}$ of a partially ordered set (poset) is an element of ${\displaystyle S}$ that is greater than every other element of ${\displaystyle S}$. The term least element is defined dually, that is, it is an element of ${\displaystyle S}$ that is smaller than every other element of ${\displaystyle S.}$

In mathematics, especially in order theory, a maximal element of a subset ${\displaystyle S}$ of some preordered set is an element of ${\displaystyle S}$ that is not smaller than any other element in ${\displaystyle S}$. A minimal element of a subset ${\displaystyle S}$ of some preordered set is defined dually as an element of ${\displaystyle S}$ that is not greater than any other element in ${\displaystyle S}$.

The notions of maximal and minimal elements are weaker than those of greatest element and least element which are also known, respectively, as maximum and minimum. The maximum of a subset ${\displaystyle S}$ of a preordered set is an element of ${\displaystyle S}$ which is greater than or equal to any other element of ${\displaystyle S,}$ and the minimum of ${\displaystyle S}$ is again defined dually. In the particular case of a partially ordered set, while there can be at most one maximum and at most one minimum there may be multiple maximal or minimal elements. Specializing further to totally ordered sets, the notions of maximal element and maximum coincide, and the notions of minimal element and minimum coincide.

In mathematics, an abstract polytope is an algebraic partially ordered set which captures certain combinatorial properties of a traditional polytope without specifying purely geometric properties such as the position of vertices.

A geometric polytope is said to be a realization of an abstract polytope in some real n-dimensional space, typically Euclidean. This abstract definition allows more general combinatorial structures than traditional definitions of a polytope, thus allowing new objects that have no counterpart in traditional theory.

In the mathematical area of order theory, every partially ordered set P gives rise to a dual (or opposite) partially ordered set which is often denoted by P or P. This dual order P is defined to be the same set, but with the inverse order, i.e. x ≤ y holds in P if and only if y ≤ x holds in P. It is easy to see that this construction, which can be depicted by flipping the Hasse diagram for P upside down, will indeed yield a partially ordered set. In a broader sense, two partially ordered sets are also said to be duals if they are dually isomorphic, i.e. if one poset is order isomorphic to the dual of the other.

The importance of this simple definition stems from the fact that every definition and theorem of order theory can readily be transferred to the dual order. Formally, this is captured by the Duality Principle for ordered sets:

In the mathematical discipline of order theory, a complemented lattice is a bounded lattice (with least element 0 and greatest element 1), in which every element a has a complement, i.e. an element b satisfying a ∨ b = 1 and a ∧ b = 0.Complements need not be unique.

A relatively complemented lattice is a lattice such that every interval [c, d], viewed as a bounded lattice in its own right, is a complemented lattice.

In algebra, a prime ideal is a subset of a ring that shares many important properties of a prime number in the ring of integers. The prime ideals for the integers are the sets that contain all the multiples of a given prime number, together with the zero ideal.

Primitive ideals are prime, and prime ideals are both primary and semiprime.

In mathematics, two elements x and y of a set P are said to be comparable with respect to a binary relation ≤ if at least one of x ≤ y or y ≤ x is true. They are called incomparable if they are not comparable.