>>650
順序対(a,b)から{}ってどう定義するん?