`Z∩Q` là giao của tập hợp các số nguyên với tập hợp các số hữu tỉ.
Vậy các phần tử của tập hợp `Z∩Q` phải vừa là số nguyên, vừa là số hữu tỉ.
Mặt khác `Z⊂Q` nên các phần tử của tập hợp `Z∩Q` là số nguyên.
`=>` `Z∩Q=Z`
`N` là tập hợp số tự nhiên, `N⊂Z`, nên `N⊂{Z∩Q}`
Vậy khẳng định `N⊂{Z∩Q}` là đúng.