各集合が空でないという情報のみからの導出には選択公理が必要だが、
各集合に何らかの点を指定するアルゴリズムがついているなら選択公理は不要。
よくあるのが、基点付集合の無限族から基点のみを取り出すパターン。