Cho A và B là hai tập hợp hữu hạn. Kí hiệu |A| là số phần tử của tập hợp A