given order
ordered pair
However, using the given order, one can restrict to further classes of (possibly infinite) subsets, that do not yield this strong completeness at once.
However, using the ordered pair, one can restrict to further classes of (possibly infinite) subsets, that do not yield this strong completeness at once.