ツォルンの補題
ツォルンの補題により、任意の座標近傍系 "A" は一意に定まる極大な座標近傍系に含まれる。