そういう集合で外から覆ってやるとき、infとったらその集合族から出ちゃうんだが。