\(\in\)Z biết: