Tập hợp con (toán học) – Theo ngôn ngữ khác