Let and be sets, and let be a relation on . Then is a concurrent relation if and only if for any finite subset of , there exists a single element of such that if , then . Examples of concurrent relations include the following:
1. The relation on either the natural numbers, the integers, the rational numbers, or the real numbers.
2. The relation between elements of an extension of a field , defined by
3. The containment relation between open neighborhoods of a given point of a topological space .