06 Order, lattices, ordered algebraic structures
| Name | Tag | Kind | MSC |
|---|---|---|---|
| Power set Boolean algebra | 004J7ZEFAT | example | 06E05 |
| Hasse diagram | 00EYM7MDKS | concept | 06A06 |
| Partial order | 011C29Q1S1 | definition | 06A06 |
| Well-order | 01CGSJ0GNQ | concept | 06A05 |
| Total order | 0316AYH1SC | definition | 06A05 |
| Antichain | 03HF498P1J | concept | 06A07 |
| Uniqueness of the supremum | 04ETX30HT2 | statement | 06A06 |
| Infimum | 04KFTA34C5 | definition | 06A06 |
| Boolean algebra | 06GKBTAA5E | definition | 06E05 |
| Maximal element | 072G59HW59 | concept | 06A06 |
| Order on the integers | 07J9ZJFECP | concept | 06F25 |
| Boolean function | 0A58THH5XV | definition | 06E30, 94C11 |
| Monotone function | 0A7KV2WB7A | concept | 06A06 |
| Least element | 0AANKKNHS4 | concept | 06A06 |
| Set bounded above | 0B5H2V4JW8 | definition | 06A06 |
| Lexicographic order | 0B68KNPGCG | concept | 06A05 |
| Supremum | 0BTMQ04556 | definition | 06A06 |
| Minimal element | 0BXEZV83GY | concept | 06A06 |
| Order isomorphism | 0D3WA36K2Q | concept | 06A06 |
| Stone's representation theorem for finite Boolean algebras | 0DYS9C3HH5 | statement | 06E05, 06E15 |
| Set bounded above | 0F0J193T76 | concept | 06A06 |
| Well-order | 0F1D6PK9RZ | definition | 06A05 |
| Order on the integers | 0F6FM9Y4Y6 | definition | 06F25 |
| Total order | 0FRXBVVR03 | concept | 06A05 |
| Lexicographic order | 0G77XFBV00 | definition | 06A05 |
| Antichain | 0GNGPF7KS5 | definition | 06A07 |
| Chain | 0GP9ASVQ1X | definition | 06A06 |
| Ascending chain condition | 0GZ6Y1H4RN | concept | 06A06 |
| Upper bound | 0H5J02P8S9 | definition | 06A06 |
| Distributive lattice | 0HM0HQCK6N | concept | 06D05 |
| Minimal element | 0MCR8ZAXQD | definition | 06A06 |
| Boolean ring | 0N5FCV2YV6 | definition | 06E20 |
| Infimum | 0QF1MZ9FRG | concept | 06A06 |
| Partial order | 0QV2JS9RJ3 | concept | 06A06 |
| Supremum | 0R3H5PANRQ | concept | 06A06 |
| Boolean ring | 0RCV1ZFP8G | concept | 06E20 |
| Preorder | 0RXS8R6K37 | definition | 06A06 |
| Upper bound | 0S60DVMVPN | concept | 06A06 |
| Chain | 0S8FE7ZMFM | concept | 06A06 |
| Least element | 0T2NTJCV83 | definition | 06A06 |
| Distributive lattice | 0T36P6TXQ6 | definition | 06D05 |
| Maximal element | 0TZEEFTNCC | definition | 06A06 |
| Preorder | 0VABYWJWH9 | concept | 06A06 |
| Monotone function | 0WFF6AZPBP | definition | 06A06 |
| Two-element Boolean algebra | 0WG43AC0EV | example | 06E05 |
| Boolean function | 0X05GS525E | concept | 06E30, 94C11 |
| Boolean algebra | 0XADJKM699 | concept | 06E05 |
| Greatest element | 0XR2QK49V6 | concept | 06A06 |
| De Morgan's laws in a Boolean algebra | 0XYVDWGQX2 | statement | 06E05 |
| Order isomorphism | 0Y74KN99A5 | definition | 06A06 |
| Greatest element | 0Z7HDDXX3X | definition | 06A06 |
| Ascending chain condition | 0ZCAXY9563 | definition | 06A06 |
| Absorption law | 0ZKZBJPG2J | statement | 06B05 |