Cho A, B là hai tập hợp và mệnh đề P: “A là một tập hợp con của B”. Viết P dưới dạng một mệnh đề kéo theo.