a)

+) Chiều thuận: `A ⊂B`

Xét `x in A cap B <=> {(x in A),(x in B):} => x in A`

`=> forall x in A cap B: x in A`

`=> A cap B=A`

+) Chiều đảo: `A cap B=A`

Xét `x in A => x in A cap B => {(x in A),(x in B):}`

`=> forall x in A: x in B => A ⊂B`

b) 

+) Chiều thuận: `A ⊂B`

Xét `x in A cup B <=> [(x in A),(x in B):} => x in B`

`=> forall x in A cup B: x in B`

`=> A uu B=B`

+) Chiều đảo: `A cup B=B`

Xét `x in A => x in A cup B => x in B`

`=> forall x in A: x in B => A ⊂B`