Khác biệt giữa bản sửa đổi của “Lý thuyết tập hợp ngây thơ”
Nội dung được xóa Nội dung được thêm vào
Dòng 34:
===Tập hợp thuộc===
Nếu '' x '' là phần tử thuộc tập hợp '' A '', thì người ta cũng nói rằng '' x '' '' 'thuộc về' '' '' A '' hoặc '' x '' là trong '' A ''. Điều này được ký hiệu là '' x '' ∈ '' A ''. Biểu tượng là một từ phái sinh từ chữ Hy Lạp viết thường [[epsilon]], "ε", được giới thiệu bởi [[Giuseppe Peano]] vào năm 1889 và sẽ là chữ cái đầu tiên của từ [https://en.wiktionary.org/wiki/%E1%BC%90%CF%83%CF%84%CE%AF ἐστί] (có nghĩa là "là"). Biểu tượng thường được sử dụng để viết '' x '' ∉ '' A '', có nghĩa là "x không nằm trong A".
===Bằng nhau===
Hai tập hợp '' A '' và '' B '' được định nghĩa là '' '[[Bình đẳng (toán học)|bằng nhau]]' '' khi chúng có các phần tử chính xác giống nhau, nghĩa là, nếu mọi phần tử của '' A '' là một yếu tố của '' B '' và mọi yếu tố của '' B '' là một yếu tố của '' A ''. (Xem [[tiên đề của tính mở rộng]].) Do đó, một tập hợp hoàn toàn được xác định bởi các phần tử của nó; mô tả là không quan trọng. Ví dụ: tập hợp có các phần tử 2, 3 và 5 bằng với tập hợp của tất cả [[số nguyên tố]] s nhỏ hơn 6.Nếu các tập hợp'' A '' và '' B '' bằng nhau, thì tập hợp này được ký hiệu tượng trưng là '' A '' = '' B '' (như thường lệ).
===Tập hợp
[[Tập trống]], thường được ký hiệu là và đôi khi <math>\{\}</math>, là một tập hợp không có
== Xem thêm ==
| |||