http://dbpedia.org/ontology/abstract
|
In mathematics, particularly in order theo … In mathematics, particularly in order theory, a pseudocomplement is one generalization of the notion of complement. In a lattice L with bottom element 0, an element x ∈ L is said to have a pseudocomplement if there exists a greatest element x* ∈ L with the property that x ∧ x* = 0. More formally, x* = max{ y ∈ L | x ∧ y = 0 }. The lattice L itself is called a pseudocomplemented lattice if every element of L is pseudocomplemented. Every pseudocomplemented lattice is necessarily bounded, i.e. it has a 1 as well. Since the pseudocomplement is unique by definition (if it exists), a pseudocomplemented lattice can be endowed with a unary operation * mapping every element to its pseudocomplement; this structure is sometimes called a p-algebra. However this latter term may have other meanings in other areas of mathematics.er meanings in other areas of mathematics.
, Псевдодополнение в теории решёток — бинарн … Псевдодополнение в теории решёток — бинарная операция в решётке, определяемая для элементов решётки и как наибольший элемент такой, что ; обозначение — , прочтение — «псевдодополнение относительно ». Импликативная решётка (или брауэрова решётка) — решётка, в которой для каждых двух элементов существует псевдодополнение. Аксиоматически, импликативная решётка получается присоединением к аксиомам решётки следующих соотношений:
* ,
* . Для импликативных решёток с нулём вводится также унарная операция (абсолютного) псевдодополнения: ; в этом случае, бинарное псевдодополнение называется относительным псевдодополнением. Импликативные решётки образуют многообразие. Важнейшие специальные классы импликативных решёток — и булевы алгебры, используемые в качестве моделей интуиционистского и классического исчисления высказываний соответственно.го исчисления высказываний соответственно.
|
http://dbpedia.org/ontology/wikiPageID
|
43705090
|
http://dbpedia.org/ontology/wikiPageLength
|
5026
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1078672990
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Antitone +
, http://dbpedia.org/resource/Binary_operation +
, http://dbpedia.org/resource/Filter_%28mathematics%29 +
, http://dbpedia.org/resource/Boolean_algebra_%28structure%29 +
, http://dbpedia.org/resource/Interior_%28topology%29 +
, http://dbpedia.org/resource/Greatest_element +
, http://dbpedia.org/resource/Sublattice +
, http://dbpedia.org/resource/Mathematics +
, http://dbpedia.org/resource/Topological_space +
, http://dbpedia.org/resource/Heyting_algebra +
, http://dbpedia.org/resource/Stone_algebra +
, http://dbpedia.org/resource/Lattice_%28order%29 +
, http://dbpedia.org/resource/Dense_set +
, http://dbpedia.org/resource/Order_theory +
, http://dbpedia.org/resource/Complemented_lattice +
, http://dbpedia.org/resource/Variety_%28universal_algebra%29 +
, http://dbpedia.org/resource/Bottom_element +
, http://dbpedia.org/resource/Category:Lattice_theory +
, http://dbpedia.org/resource/Closure_operator +
, http://dbpedia.org/resource/Bounded_set +
, http://dbpedia.org/resource/Set_complement +
, http://dbpedia.org/resource/Subsemilattice +
, http://dbpedia.org/resource/Topology +
, http://dbpedia.org/resource/Distributive_lattice +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Annotated_link +
, http://dbpedia.org/resource/Template:Reflist +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Lattice_theory +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Generalization +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Pseudocomplement?oldid=1078672990&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Pseudocomplement +
|
owl:sameAs |
http://ru.dbpedia.org/resource/%D0%9F%D1%81%D0%B5%D0%B2%D0%B4%D0%BE%D0%B4%D0%BE%D0%BF%D0%BE%D0%BB%D0%BD%D0%B5%D0%BD%D0%B8%D0%B5 +
, http://www.wikidata.org/entity/Q18345290 +
, http://rdf.freebase.com/ns/m.011snpf0 +
, https://global.dbpedia.org/id/n9ig +
, http://dbpedia.org/resource/Pseudocomplement +
|
rdfs:comment |
In mathematics, particularly in order theo … In mathematics, particularly in order theory, a pseudocomplement is one generalization of the notion of complement. In a lattice L with bottom element 0, an element x ∈ L is said to have a pseudocomplement if there exists a greatest element x* ∈ L with the property that x ∧ x* = 0. More formally, x* = max{ y ∈ L | x ∧ y = 0 }. The lattice L itself is called a pseudocomplemented lattice if every element of L is pseudocomplemented. Every pseudocomplemented lattice is necessarily bounded, i.e. it has a 1 as well. Since the pseudocomplement is unique by definition (if it exists), a pseudocomplemented lattice can be endowed with a unary operation * mapping every element to its pseudocomplement; this structure is sometimes called a p-algebra. However this latter term may have other meanings in os latter term may have other meanings in o
, Псевдодополнение в теории решёток — бинарн … Псевдодополнение в теории решёток — бинарная операция в решётке, определяемая для элементов решётки и как наибольший элемент такой, что ; обозначение — , прочтение — «псевдодополнение относительно ». Импликативная решётка (или брауэрова решётка) — решётка, в которой для каждых двух элементов существует псевдодополнение. Аксиоматически, импликативная решётка получается присоединением к аксиомам решётки следующих соотношений:
* ,
* .м решётки следующих соотношений:
* ,
* .
|
rdfs:label |
Псевдодополнение
, Pseudocomplement
|