集合の妥当性確認
この演算子は、集合の妥当性を確認します。