전체집합의 임의의 원소 a,b,c,d 에 대해...
기호 ☆ 는 다음과 같은 성질이 있다.
☆( a, b ) = ☆( b, a )
☆( a, ☆( b, c ) ) = ☆( ☆( a, b ), c )
기호 ♡ 는 기호 ☆ 에 대해 다음과 같은 성질이 있다.
☆( a, ♡ ) = a
♤( a, b ) 는 ☆( ♤( a, b ), b ) = a 을 만족하는 대상에 대한 이름(Naming) 이다.
다음을 증명하라.
☆( ♤(a,b), ♤(c,d) ) = ♤( ☆(a,c) , ☆(b,d) )