TOPICS
Search

Concurrent Relation


Let X and Y be sets, and let R subset= X×Y be a relation on X×Y. Then R is a concurrent relation if and only if for any finite subset F of X, there exists a single element p of Y such that if a in F, then aRp. 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 R between elements of an extension E of a field F, defined by

 R={(a,b) in E×E:b is algebraic over F and  
a is in the extension of F by b}.

3. The containment relation  subset= between open neighborhoods of a given point p of a topological space X.


See also

Concurrency Principle

This entry contributed by Matt Insall (author's link)

Explore with Wolfram|Alpha

References

Hurd, A. E. and Loeb, P. A. An Introduction to Nonstandard Real Analysis. Orlando, FL: Academic Press, 1985.Robinson, A. "Germs." In Applications of Model Theory to Algebra, Analysis and Probability (International Sympos., Pasadena, Calif., 1967). New York: Holt, Rinehart and Winston, pp. 138-149, 1969.Insall, M. "Hyperalgebraic Primitive Elements for Relational Algebraic and Topological Algebraic Models." Studia Logica 57, 409-418, 1996.

Referenced on Wolfram|Alpha

Concurrent Relation

Cite this as:

Insall, Matt. "Concurrent Relation." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/ConcurrentRelation.html

Subject classifications