Definition, synonyms and related words
A set equipped with a preorder such that for any two elements a and b there is an element c such that a ≤ c and b ≤ c.