ve B ' nin alt kümeleri ailesinin unsurlarıdır X
ÇÖZGÜ
her çifti için, ve eğer X ∈ C ( B ) , daha sonra ise y ∈ C ( B ' ) , X şart ∈ C ( B ' ) .
Seçim Tutarlılık
çok çifti için ve eğer X ∈ C ( B ) ve y ∉ c ( B ) , daha sonra y gerekir ∉ c ( B ' ) .
Bu iki eşdeğer mi. Evet ise, nasıl ispatlayabiliriz?