LEC 1

A intersect B
A union B
A minus B A - B
complement of A
B is a subset of A

power set: 幂集
|P(x)| = 2^|X|

Function: injective, surjective, bijective