**ordered set**if and only if

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

(2) | ${\preceq}$ is an D378: Ordering relation on $X$ |

Formulation F1513
on D1707: Ordered set

F1513

Formulation 0

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

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

(2) | ${\preceq}$ is an D378: Ordering relation on $X$ |