👤

{xx € N. x es par, x < 12}