dbo:abstract
|
- 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. (en)
- Псевдодополнение в теории решёток — бинарная операция в решётке, определяемая для элементов решётки и как наибольший элемент такой, что ; обозначение — , прочтение — «псевдодополнение относительно ». Импликативная решётка (или брауэрова решётка) — решётка, в которой для каждых двух элементов существует псевдодополнение. Аксиоматически, импликативная решётка получается присоединением к аксиомам решётки следующих соотношений:
* ,
* . Для импликативных решёток с нулём вводится также унарная операция (абсолютного) псевдодополнения: ; в этом случае, бинарное псевдодополнение называется относительным псевдодополнением. Импликативные решётки образуют многообразие. Важнейшие специальные классы импликативных решёток — и булевы алгебры, используемые в качестве моделей интуиционистского и классического исчисления высказываний соответственно. (ru)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 5026 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:wikiPageUsesTemplate
| |
dcterms:subject
| |
gold:hypernym
| |
rdfs:comment
|
- 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 o (en)
- Псевдодополнение в теории решёток — бинарная операция в решётке, определяемая для элементов решётки и как наибольший элемент такой, что ; обозначение — , прочтение — «псевдодополнение относительно ». Импликативная решётка (или брауэрова решётка) — решётка, в которой для каждых двух элементов существует псевдодополнение. Аксиоматически, импликативная решётка получается присоединением к аксиомам решётки следующих соотношений:
* ,
* . (ru)
|
rdfs:label
|
- Pseudocomplement (en)
- Псевдодополнение (ru)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is rdfs:seeAlso
of | |
is foaf:primaryTopic
of | |