世界大百科事典（旧版）内の共起性の原理の言及
【超準解析】より
… 超準解析を展開するのにつごうのよいモデルは広大モデルenlargementと称する超準モデルである。このモデルの中では，P(x,y)が二つの実数x,yに関する性質であり，任意の有限個の実数x1,x2，……，xnに対してP(xi,y)(1≦i≦n)が成り立つような実数yが存在するとき，適当な超実数yをとると，すべての実数xに対してP(x,y)が成り立つ(共起性の原理)。P(x,y)としてx＜yをとることにより，無限大超実数の存在が示される。…
※「共起性の原理」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」