In the mathematical area of order theory, there are various notions of the common concept of distributivity, applied to the formation of suprema and infima...

distributivity conditions of order theory can be found in the article Distributivity (order theory). A morphism of distributive lattices is just a lattice...

is a distinction between left-distributivity and right-distributivity: a ⋅ ( b ± c ) = a ⋅ b ± a ⋅ c  (left-distributive)  {\displaystyle a\cdot \left(b\pm...

constructively completely distributive. See also the articles on complete distributivity and distributivity (order theory). The considerations in this...

Ultrafilter Completeness (order theory) Dense order Distributivity (order theory) Modular lattice Distributive lattice Completely distributive lattice Ascending...

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...

distributivity laws which are discussed in the article on distributivity in order theory. Some additional order structures that are often specified via algebraic...

as frames and completely distributive lattices, see distributivity in order theory. For some applications the distributivity condition is too strong,...

Lattice theory: first concepts and distributive lattices. W. H. Freeman and Co. ISBN 0-7167-0442-0 Halmos, Paul R. (1968). Naive Set Theory. Princeton:...

In mathematics, especially order theory, a partial order on a set is an arrangement such that, for certain pairs of elements, one precedes the other....

In the mathematical area of order theory, a completely distributive lattice is a complete lattice in which arbitrary joins distribute over arbitrary meets...

overview articles: completeness properties of partial orders distributivity laws of order theory In the following, partial orders will usually just be denoted...

In mathematical order theory, an ideal is a special subset of a partially ordered set (poset). Although this term historically was derived from the notion...

binary meets exist is a distributive lattice. See the entry distributivity (order theory). A join-semilattice is distributive if and only if the lattice...

first-order logic. A theory about a topic, such as set theory, a theory for groups, or a formal theory of arithmetic, is usually a first-order logic together...

distribution of benefits and burdens within a society. Most contemporary theories of distributive justice rest on the precondition of material scarcity. From that...

[citation needed] In one sense, theories of distributive justice may assert that everyone should get what they deserve. Theories vary on the meaning of what...

reverses the given order. This concept first arose in calculus, and was later generalized to the more abstract setting of order theory. In calculus, a function...

In the mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism...

space is commutative, left distributivity and right distributivity are equivalent, and, in this case, only one distributivity requires a proof. In general...

is called orderable or linearly orderable if there exists a total order on its elements such that the order topology induced by that order and the given...

b) ∧ c holds. This is weaker than distributivity; e.g. the above-shown lattice M3 is modular, but not distributive. A natural further weakening of this...

In first-order logic, a first-order theory is given by a set of axioms in some language. This entry lists some of the more common examples used in model...

author attempts to provide a moral theory alternative to utilitarianism and that addresses the problem of distributive justice (the socially just distribution...

element. From the ZFC axioms of set theory (including the axiom of choice) one can show that there is a well order of the reals. Also Wacław Sierpiński...

Congressional passage. There are several competing theories on the precise definition of distributive politics, as political scientists approach the concept...

Facet theory is a metatheory for the multivariate behavioral sciences that posits that scientific theories and measurements can be advanced by discovering...

constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "...

Nudge theory is a concept in behavioral economics, decision making, behavioral policy, social psychology, consumer behavior, and related behavioral sciences...

and right-distributive. If the operation ∗ {\displaystyle *} is commutative, left and right distributivity are both equivalent to distributivity. Some common...