スレドル部集合していい?