เปลี่ยนแปลงด้วยทฤษฎีเซต

เซต (set) อาจมองได้ว่าเป็นการรวบรวมกลุ่มวัตถุต่างๆ ไว้รวมกันทั้งชุด

ตอนเริ่มแรกของ Beiträge zur Begründung der transfiniten Mengenlehre โดย เกออร์ก คันทอร์ (Georg Cantor) ผู้สร้างทฤษฎีเซตคนสำคัญ ให้นิยามของเซตเซตหนึ่งดังต่อไปนี้:[1]

โดย "เซต" เซตหนึ่ง เราหมายถึงการสะสมรวบรวมใดๆ ที่ให้ชื่อว่า M เข้าเป็นหน่วยเดียวกันทั้งหมด ของวัตถุที่ให้ชื่อว่า m ที่แตกต่างกัน (ซึ่งเรียกว่า "สมาชิก" ของ M) ตามความเข้าใจของเรา หรือตามความคิดของเรา

ดังนั้นสมาชิกของเซตเซตหนึ่งจึงสามารถเป็นอะไรก็ได้ เช่น ตัวเลข ผู้คน ตัวอักษร หรือเป็นเซตของเซตอื่น เป็นต้น

การดำเนินการของเซต

ยูเนียน ของ A และ B คือเซตที่เกิดจากการรวบรวมสมาชิกของ A และ B เข้าไว้ด้วยกัน
อินเตอร์เซกชัน ของ A และ B คือเซตที่ประกอบด้วยสมาชิกที่เหมือนกันของ A และ B
ผลต่าง A – B คือเซตที่ประกอบด้วยสมาชิกของ A ที่ไม่ใช่สมาชิกของ B
คอมพลีเมนต์ ของ A เขียนแทนด้วย A’ คือสับเซตของ U ที่ประกอบด้วยสมาชิกที่ไม่อยู่ ใน A