Near Matches
Ignore Exact
Everything
2
least upper bound
See:
supremum