Cho A, B là 2 tập hợp. A là tập con của B được ký hiệu A x B, khi:

Tồn tại phần tử thuộc A thì tồn tại phần tử thuộc B

Tồn tại phần tử thuộc A thì cũng thuộc B

Mọi phần tử thuộc A thì tồn tại phần tử thuộc B

Mọi phần tử thuộc A đều thuộc B