{X|X€N,x²<13} explicatiii va rogg​