ÁNH XẠ
Aùnh xạ
f: X Y A ( X , B ( Y
x f(x)
f: ánh xạ (
f(A) = (y(Y ( ( a(A : f(a) = y( (ảnh)
f–1(B) = (x(X ( f(x)(B( ( tạo ảnh)
f: đơn ánh (
f: toàn ánh ( (y(Y, ( x(X : f(x) = y
f: song ánh ( (y(Y, (! x(X : f(x) = y
(f–1 ( f: song ánh

QUAN HỆ TRÊN TẬP HỢP
Quan hệ tương đương
(x(X, x ( x (phản xạ)
(x,y(X, x ( y ( y ( x (đối xứng)
(x,y,z(X, x ( y và y ( z ( x ( z (bắc cầu)
Quan hệ thứ tự
(x(X, x ( x (phản xạ)
(x,y(X, x ( y và y ( x ( y = x (phản đối xứng)
(x,y,z(X, x ( y và y ( z ( x ( z (bắc cầu)
Lớp tương đương: C(a) = [a] = (x(X ( a ( x (

NHÓM
(X– nửa nhóm ( (x, y, z ( X: (x.y).z = x.(y.z)
(X– vị nhóm (
(X– nhóm (
(
(
(X