商集合は数学ならでは、って感じだな。
アレも商集合、コレも商集合で、商集合なしで数学は出来ないけど他の分野じゃ出てこない。
ツォルンの補題はいかにも基礎っぽいが、使ったのは線形空間の基底の存在だけだった。