�y��vlog

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