他の定義や記法については後述する。