Set Theoretic Order Theory¶
← Back to Domain-Specific Abstractions by Domain
1 domain-specific abstractions whose origin domain is Set Theoretic Order Theory.
- Η set — An eta-alpha set is a dense linear order in which every two less-than-aleph-alpha-sized subsets separated left from right have an interpolating element.