1.Cho A và B là hai tập hợp.Một hàm f từ A đến B , ký hiệu là f:A->B, là sự gán mỗi phần tử của A cho chính xác 1 phần tử của B.Nếu b thuộc B là phần tử được gán cho phần tử a thuộc A qua hàm f thì ta viết f(a)=b.

2.Nếu f là 1 hàm từ A đến B thì A được gọi là miền xác định của f còn B được gọi là miền giá trị của f.Nếu f(a)=b thì b được gọi là 1 ảnh của a và a là q tạo ảnh của b.

3.Giả sử f là 1 hàm từ A đến B. S là một tập con của A.Ảnh của S bởi f kí hiệu là f(S),là tập con của B gồm ảnh của các phần tử thuộc S .Ta có : f(S)={f(s)|s thuộc S}

Cho f là một hàm từ A đến B .Tập hợp tất  cả các ảnh của các phần tử thuộc A được gọi là ảnh của A qua hàm f và đươc viết tắt là f(A).