아니 어떻게＜ⅹ,y >가 {{x,x}，{x,y}}에요?{{x,x}，{x,y}}는 {{x,y}，{x,x}}고 이건 {{y,x}，{x,x}}니까만약＜ⅹ,y >가 {{x,x}，{x,y}}라면 ＜ⅹ,y>가 {{y,x}，{x,x}}이잖아요?
{}가 비순서쌍을 나타내고 <>가 순서쌍을 나타내는 기호에요예를 들어 {1,2}는 1과2만이 원소인것을 나타내고 ＜1,2＞는 첫째항이 1이고 둘째항이 2인기호고요
아니 어떻게＜ⅹ,y >가 {{x,x}，{x,y}}에요?{{x,x}，{x,y}}는 {{x,y}，{x,x}}고 이건 {{y,x}，{x,x}}니까만약＜ⅹ,y >가 {{x,x}，{x,y}}라면 ＜ⅹ,y>가 {{y,x}，{x,x}}이잖아요?
{}가 비순서쌍을 나타내고 <>가 순서쌍을 나타내는 기호에요예를 들어 {1,2}는 1과2만이 원소인것을 나타내고 ＜1,2＞는 첫째항이 1이고 둘째항이 2인기호고요
만약 저게 맞으면 'x가 y보다 작은 수다'에 순서쌍 <1,2>가 들어가야 하니까 비순서쌍 {{1,1}{1,2}}도 들어갈수 있고{{2,1},{1,1}}도 되니까 x에 2나1이 들어갈수 있고 y에 1들어갈수 있으니까 '2가 1보다 작은수다'는 '1이 2보다 작은수'다와 같은거에요?
https://math.stackexchange.com/questions/62908/how-can-an-ordered-pair-be-expressed-as-a-set
답변감사합니다
어디서 이상하다 생각하신건지 모르겠는데 {{2,1},{1,1}}은 {{x,x},{x,y}} 꼴로 쓴 게 아니잖아요. 순서 바꿔야 매치되는거지.
집합론에서 표준적인 정의는 Kuratowski pair 검색. 참고로 순서쌍의 공리, 즉 (a,b) = (c,d)의 필요충분조건이 a=c and b=d 만 만족시키면 아무렇게나 정의해도 된다. 실제로 여러 정의가 있음
답변감사합니다