result in order theory
C33681
concept
A result in order theory is a formally proven statement or theorem about the properties, structures, or relationships of ordered sets and order-preserving mappings.
Observed surface forms (2)
| Surface form | Occurrences |
|---|---|
| antichain of sets | 1 |
| order-theoretic notion | 1 |
Instances (4)
| Instance | Via concept surface |
|---|---|
| Tarski’s fixed point theorem | — |
| Sperner family | antichain of sets |
| Hausdorff maximal principle | — |
| Galois connection | order-theoretic notion |