 If \(\alpha\) is a class of mutually exclusive, non-empty, classes, then there is a (“choice”) set \(\beta\) such that the intersection of \(\beta\) with each member of \( \delta   \) of \(\alpha\) is  a unique (chosen)  member   of \(\delta \).