Kí hiệu tập hợp tất cả các số nguyên dương lẻ là S. Em hãy:
a) Đưa ra định nghĩa đệ quy cho tập S.
b) So sánh cách mô tả tập S sử dụng định nghĩa đệ quy mà em xây dựng được ở câu a) với hai cách sau đây:
Cách liệt kê các phân tử: S = {1, 3, 5, 7, 9....}
Cách sử dụng mệnh để logic: S = {x | x ∈ N*, x không chia hết cho 2}.