partially ordered set

noun Mathematics.

1. a set in which a relation as “less than or equal to” holds for some pairs of elements of the set, but not for all.