主題
Search

併發關係

令 X 和 Y 為集合，且令 R 是 X×Y 的子集 為在 X×Y 上的關係。則 R 是併發關係當且僅當對於任何有限子集 F 的 X，存在一個單一元素 p 的 Y 使得如果 a 在 F 中，則 aRp。併發關係的例子包括以下內容

1. 關係 < 在自然數、整數、有理數或實數上。

2. 關係 R 在擴張 E 的元素之間，其中擴張 E 是域 F 的擴張，定義為

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

3. 包含關係 ⊆ 在給定點 p 的開鄰域之間，其中給定點 p 屬於 拓撲空間 X。

另請參閱

併發原則

此條目由 Matt Insall (作者連結) 貢獻

使用 探索

參考文獻

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.

在 上被引用

併發關係

引用為

Insall, Matt. "Concurrent Relation." 來自 --一個 Wolfram 網路資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/ConcurrentRelation.html

主題分類