同値類が集合であることとVBの存在性がなんか関係すんの?