Completeness in Terms of Universal Algebra
As explained above, the presence of certain completeness conditions allows to regard the formation of certain suprema and infima as total operations of an ordered set. It turns out that in many cases it is possible to characterize completeness solely by considering appropriate algebraic structures in the sense of universal algebra, which are equipped with operations like or . By imposing additional conditions (in form of suitable identities) on these operations, one can then indeed derive the underlying partial order exclusively from such algebraic structures. Details on this characterization can be found in the articles on the "lattice-like" structures for which this is typically considered: see semilattice, lattice, Heyting algebra, and Boolean algebra. Note that the latter two structures extend the application of these principles beyond mere completeness requirements by introducing an additional operation of negation.
Read more about this topic: Completeness (order Theory)
Famous quotes containing the words completeness, terms, universal and/or algebra:
“Poetry presents indivisible wholes of human consciousness, modified and ordered by the stringent requirements of form. Prose, aiming at a definite and concrete goal, generally suppresses everything inessential to its purpose; poetry, existing only to exhibit itself as an aesthetic object, aims only at completeness and perfection of form.”
—Richard Harter Fogle, U.S. critic, educator. The Imagery of Keats and Shelley, ch. 1, University of North Carolina Press (1949)
“In colonial America, the father was the primary parent. . . . Over the past two hundred years, each generation of fathers has had less authority than the last. . . . Masculinity ceased to be defined in terms of domestic involvement, skills at fathering and husbanding, but began to be defined in terms of making money. Men had to leave home to work. They stopped doing all the things they used to do.”
—Frank Pittman (20th century)
“Without doubt God is the universal moving force, but each being is moved according to the nature that God has given it.... He directs angels, man, animals, brute matter, in sum all created things, but each according to its nature, and man having been created free, he is freely led. This rule is truly the eternal law and in it we must believe.”
—Joseph De Maistre (1753–1821)
“Poetry has become the higher algebra of metaphors.”
—José Ortega Y Gasset (1883–1955)