>>475
ていうか、英語版wikiにもちゃんと書いてあるじゃん!
阪大工学部は英語0点でも入れるらしい

Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A.
整序しようとする集合をAとし、fをAの空でない部分集合の族に対する選択関数とする。