Preorder

A preorder on a set $X$ is a binary relation $\succeq \subseteq X \times X$ that is reflexive and transitive.