tập hợp con
tập hợp mà mỗi phần tử là phần tử của một tập hợp khác, trong quan hệ với tập hợp khác đó.