Hausdorff space
Every pospace is a Hausdorff space. If we take equality formula_22 as the partial order, this definition becomes the definition of a Hausdorff space.