Tập hợp \( U = \{ x \in \mathbb{N} | x \text{ chia hết cho } 3 \} \) bao gồm các số tự nhiên chia hết cho 3.

Chúng ta sẽ kiểm tra từng số trong các số 3, 5, 6, 0, 7:

- **3**: Chia hết cho 3 (thuộc \( U \))
- **5**: Không chia hết cho 3 (không thuộc \( U \))
- **6**: Chia hết cho 3 (thuộc \( U \))
- **0**: Chia hết cho 3 (thuộc \( U \))
- **7**: Không chia hết cho 3 (không thuộc \( U \))

**Kết luận:**
- Thuộc \( U \): 3, 6, 0
- Không thuộc \( U \): 5, 7