离散中偏序集、乘积群、关系的性质和集合的相关证明

离散证明题（三）
9.令❄是定义在有限集合A上的一个二元运算，若对于∀a,b∈A，❄满足①a=a❄a②a❄b=b❄a③a❄(b❄c)=(a❄b)❄c,在A上定义一个关系C比如a≤b<=>a=a❄b.
证明：(1)(A,≤)是一个偏序集 (2)∀a,b∈A,a∧b=a❄b
proof:
(1)①设a∈A，a=a❄a<=>a≤a，所以≤满足自反性reflexive
②设a,b∈A，如果a≤b且b≤a，
则有a≤b<=>a=a❄b，
又有b≤a<=>b=b❄a，
因为a❄b=b❄a
所以a=b,≤满足反对称性anti-symmetric
③设a,b,c∈A，
若a≤b，b≤c,则a=a❄b且b=b❄c,
那么就可以知道a=a❄(b❄c) =(a❄b)❄c = a❄c,
由a=a❄c<=>a≤c得出a≤c,所以≤满足传递性transitive
注：证明(A,≤)是一个偏序集就要证明≤在A上满足自反性reflexive，反对称性anti-symmetric，传递性transitive
(2) ①a❄b=a❄(b❄b)
=(a❄b)❄b
<=>a❄b≤b
②a❄b=b❄a
=b❄(a❄a)
=(a❄b)❄a
<=>a❄b≤a