定理:

A 属于一个集合幂集,等价于 A 是集合的子集

符号:

形式化:

A 去掉外层符号后 01 选取元素,再放在括号内({}写成空集),最后用大括号括起来