訂正
順序対の順番を変える関数と順序対を使って集合を定義する理論ってなんていうのですか？

本読んでいたら{1,2,3}は順序対f<1,2,3>=<1,2,3>みたいに定義するってでてたので