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