1701040524
1701040525
1701040526
（6）当f单时为相等；
1701040527
1701040528
（7）f（f-1（B））⊂B，当f满时为相等；
1701040529
1701040530
（8）f-1（f（A））⊃A，当f单时为相等．
1701040531
1701040532
1701040533
1701040534
设f：X→Y和g：Y→Z都是映射，f与g的复合（或称乘积）是X到Z的映射，记作gf：X→Z，规定为gf（x）＝g（f（x）），∀x∈X．则有
1701040535
1701040536
1701040537
（9）gf（A）＝g（f（A））；
1701040538
1701040539
1701040540
（10）（gf）-1（B）＝f-1（g-1（B））．
1701040541
1701040542
1701040543
集合X到自身的恒同映射（保持每一点不变）记作idX：X→X（常简记为id）．若f：X→Y是映射，A⊂X，规定f在A上的限制为f｜A：A→Y，∀x∈A，f｜A（x）＝f（x）．记i：A→X为包含映射，即∀x∈A，i（x）＝x．于是，i＝id｜A，f｜A＝fi．
1701040544
1701040545
3．笛卡儿积
1701040546
1701040547
设X1和X2都是集合，称集合
1701040548
1701040549
X1×X2：＝｛有序偶（x，y）｜x∈X，y∈Y｝
1701040550
1701040551
为X1与X2的笛卡儿积．称x和y为（x，y）的坐标．
1701040552
1701040553
n个集合的笛卡儿积X1×X2×…×Xn可类似地定义．
1701040554
1701040555
1701040556
记例如Rn＝｛（x1，…，xn）｜xi∈R｝，称X2＝X×X的子集
1701040557
1701040558
Δ（X）：＝｛（x，x）｜∀x∈X｝
1701040559
1701040560
为对角子集（常简记作Δ）．
1701040561
1701040562
4．等价关系
1701040563
1701040564
集合X上的一个关系R是X×X的一个子集，当（x1，x2）∈R时，说x1与x2R相关，记作x1Rx2．
1701040565
1701040566
集合X的一个关系R称为等价关系，如果满足：
1701040567
1701040568
（1）自反性：∀x∈X，xRx（即Δ（X）⊂R）；
1701040569
1701040570
（2）对称性：若x1Rx2，则x2Rx1；
1701040571
1701040572
（3）传递性：若x1Rx2，x2Rx3，则x1Rx3．
1701040573