**partially ordered set**if and only if

(1) | $X$ is a D11: Set |

(2) | ${\preceq}$ is a D286: Partial ordering relation on $X$ |

Definition D1103

Partially ordered set

Formulation 0

An D548: Ordered pair $P = (X, {\preceq})$ is a **partially ordered set** if and only if

(1) | $X$ is a D11: Set |

(2) | ${\preceq}$ is a D286: Partial ordering relation on $X$ |

Children

▶ | Closed interval |

▶ | Downward enclosed set |

▶ | Isotone map |

▶ | Lower enclosure |

▶ | Maximal element |

▶ | Minimal element |

▶ | Upper enclosure |

▶ | Upward enclosed set |