집합론
폰 노이만-베르나이스-괴델 집합론, 모스-켈리 이론 등, 대역적 선택 공리()를 포함하는 이론에서는 다음 조건들이 위 조건들과 추가로 동치이다.