One may also define once for all and take the convention that every variable that appears on the left of the vertical bar of the notation represents an element of . This amounts to saying that is implicit in set-builder notation. In this case, is often called the domain of discourse or a universe.

For example, with the convention that a lower case Latin letter may represent a real number