開区間の同値
開区間の接続