👉 Ultrafilterability, also known as ultrafilter completeness, is a mathematical property that refers to the ability of an infinite set of non-empty sets (or sub-sets) to be well-ordered by inclusion. This means that there exists a well-ordering $<$ such that every two elements in the set are comparable under this order. In other words, if we have a finite set $A$ and an infinite set $B$, then it is possible to find a maximal element of $B

ultrafilterability