| For every b in B and epsilon > 0 there exists an a in A such that a < b + epsilon. | |
| For every b in B there exists an a in A such that a <= b. | |
| For every a in A there exists a b in B such that a <= b. | |
| There exists a in A and b in B such that a < b. | |
| For every a in A and every b in B, we have a <= b. | |
| There exists a in A such that a <= b for all b in B. | |
| There exists b in B such that a < b for all a in A. |