**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