ผลต่างระหว่างรุ่นของ "คู่อันดับ"
เนื้อหาที่ลบ เนื้อหาที่เพิ่ม
ลไม่มีความย่อการแก้ไข |
|||
บรรทัด 27:
เขายังสังเกตว่าด้วยนิยามนี้สามารถนำไปใช้กับการนิยาม[[ทฤษฎีประเภท|ประเภท]]ให้อยู่ในรูปของเซตได้อีกด้วย <!-- Principia Mathematica เป็นหนังสือไม่ใช่หรอ ? -->
Wiener ใช้ <nowiki>{{</nowiki>''b''}} แทนที่ {''b''} เพื่อให้นิยามนี้เข้ากันได้กับ[[ทฤษฎีประเภท]] ซึ่งมีข้อกำหนดว่าสมาชิกทุกตัวในคลาสต้องเป็น "ประเภท" เดียวกัน หรือนั่นก็คือเพื่อทำให้ <math>\{\{b\}\}</math> เป็นประเภทเดียวกันกับ <math>\{\{a\}, \emptyset\}</math>
=== นิยามของ Hausdorff ===
| |||