result in lattice theory
C33682
concept
A result in lattice theory is a proven theorem or proposition that describes structural, order-theoretic, or algebraic properties of lattices and their related constructs.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| Boolean algebra law | 1 |
Instances (3)
| Instance | Via concept surface |
|---|---|
| Tarski’s fixed point theorem | — |
| De Morgan's laws | Boolean algebra law |
| Birkhoff’s representation theorem for finite distributive lattices | — |