สับเซตและเพาเวอร์เซต

สับเซตและเพาเวอร์เซต(subset) หรือ “เซตย่อย”  คือ เซตที่เล็กกว่าหรือเท่ากันกับเซตที่กำหนด โดยต้องใช้สมาชิกร่วมกับเซตที่กำหนดเท่านั้น

            สัญลักษณ์ที่ใช้แทนประโยค “ A เป็นสับเซตของ B” คือ A Ì B และจะเกิดขึ้นได้ก็ต่อเมื่อ สมาชิกทุกตัวของเซต A นั้นเป็นสมาชิกของเซต B ด้วย หรือเมื่อ A เป็นเซตว่างก็ได้

เช่น {1,2}Ì{1,2,3}เนื่องจากทั้ง 1 และ 2 เป็นสมาชิกของ {1,2,3} เพิ่มเติม