1701040455
1701040456
（或xA）表示x不是集合A的元素．
1701040457
1701040458
A⊂B表示A包含于B（含A＝B的情形）．
1701040459
1701040460
A⊄B表示A不包含于B，即A中有不属于B的元素．
1701040461
1701040462
现在列出2X中的几种运算及它们的性质．
1701040463
1701040464
1701040465
交∩ 如A∩B是A和B之交；表示集合族｛Aλ｜λ∈Λ｝中所有集合之交．
1701040466
1701040467
1701040468
并∪ 如A∪B是A和B之并；表示集合族｛Aλ｜λ∈Λ｝中所有集合之并．
1701040469
1701040470
交并运算各自都满足交换律与结合律．
1701040471
1701040472
交与并有分配律：
1701040473
1701040474
1701040475
（1）
1701040476
1701040477
1701040478
（2）
1701040479
1701040480
差 AB表示属于A而不属于B的元素的集合．
1701040481
1701040482
余集 Ac：＝XA．
1701040483
1701040484
显然AB＝A∩Bc．
1701040485
1701040486
De Morgan公式：
1701040487
1701040488
1701040489
（3）
1701040490
1701040491
1701040492
（4）
1701040493
1701040494
特别当B＝X为全集时，（3）和（4）分别变为
1701040495
1701040496
1701040497
（5）
1701040498
1701040499
1701040500
（6）
1701040501
1701040502
2．映射
1701040503
1701040504
设X和Y都是集合，映射f：X→Y是一个对应关系，使∀x∈X，对应着Y中的一点f（x）（称为x的像点）．