\(\in\) Z biết :