選出公理

선출공리

가릴 선, 생질 출, 공변될 공, 나무결 리