強因果的

定義 3.3（「因果階層」§3）

時空が点 $p$ で強因果的であるとは、 $p$ の任意の近傍 $U$ に対して、 $p$ の近傍 $V\subset U$ で、両端が $V$ に入る未来向き因果的曲線がすべて $U$ に含まれるものが存在することをいう。すべての点で強因果的な時空を強因果的という。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。