| (1) | $X$ is a D11: Set |
| (2) | ${\preceq}$ is a D286: Partial ordering relation on $X$ |
| (1) | $X$ is a D11: Set |
| (2) | ${\preceq}$ is a D286: Partial ordering relation on $X$ |
| ▶ | Closed interval |
| ▶ | Downward enclosed set |
| ▶ | Isotone map |
| ▶ | Lower enclosure |
| ▶ | Maximal element |
| ▶ | Minimal element |
| ▶ | Upper enclosure |
| ▶ | Upward enclosed set |