นิยาม

ตอนเริ่มแรกของ Beiträge zur Begründung der transfiniten Mengenlehre โดย เกออร์ก คันทอร์ (Georg Cantor) ผู้สร้างทฤษฎีเซตคนสำคัญ ให้นิยามของเซตเซตหนึ่งดังต่อไปนี้ โดย "เซต" เซตหนึ่ง เราหมายถึงการสะสมรวบรวมใดๆ ที่ให้ชื่อว่า M เข้าเป็นหน่วยเดียวกันทั้งหมด ของวัตถุที่ให้ชื่อว่า m ที่แตกต่างกัน (ซึ่งเรียกว่า "สมาชิก" ของ M) ตามความเข้าใจของเรา หรือตามความคิดของเรา ดังนั้นสมาชิกของเซตเซตหนึ่งจึงสามารถเป็นอะไรก็ได้ เช่น ตัวเลข ผู้คน ตัวอักษร หรือเป็นเซตของเซตอื่น เป็นต้น เซตนิยมเขียนแทนด้วยอักษรตัวใหญ่ เช่น A, B, C ฯลฯ ตามธรรมเนียมปฏิบัติ ในประโยคที่ว่า เซต A และ B เท่ากัน หมายความว่า ทั้งเซต A และเซต B มีสมาชิกทั้งหมดเหมือนกัน (ตัวอย่างเช่น สมาชิกทุกตัวที่อยู่ในเซต A ก็ต้องเป็นสมาชิกของเซต B ด้วย เขียนแทนด้วย A = B และในทางกลับกันก็เป็นเช่นเดียวกัน เขียนแทนด้วย B = A) สมาชิกทุกตัวของเซตเซตหนึ่งต้องไม่ซ้ำกัน และจะไม่มีสมาชิกสองตัวใดในเซตเดียวกันที่เหมือนกันทุกประการ ซึ่งไม่เหมือนกับมัลทิเซต (multiset) ที่อาจมีสมาชิกซ้ำกันก็ได้ การดำเนินการของเซตทั้งหมดยังรักษาคุณสมบัติที่ว่าสมาชิกแต่ละตัวของเซตต้องไม่ซ้ำกัน ส่วนการเรียงลำดับของสมาชิกของเซตนั้นไม่มีความสำคัญ ซึ่งต่างจากลำดับอนุกรมหรือคู่อันดับ ถึงอย่างไรก็ตามเซตถือว่าเป็น อนิยาม ไม่มีนิยามที่ชัดเจนและครอบคลุม