MathNet 2005 — Phần 03 Câu hỏi 172

Đặt $S=\{s_{0}, \ldots, s_{n}\}$ là một tập hữu hạn các số nguyên và xác định $S+k=\{s_{0}+k, \ldots, s_{n}+k\}$. Chúng ta nói rằng $S$ và $T$ là tương đương, được viết là $S \sim T$, nếu $T=S+k$ đối với một số $k$. Cho một tập hợp số nguyên $A$ (có thể là vô hạn), chúng ta nói rằng $S$ xếp lớp $A$ nếu $A$ có thể được phân chia thành các tập con tương đương với $S$. Phân vùng như vậy được $S$ gọi là ốp lát $A$.

Biểu diễn một tập hợp $S$ xếp các số nguyên $\mathbf{Z}$ nhưng không xếp các số tự nhiên $\mathbf{N}$.