B={x apartine Z / x+1 supra x-1 apartine lui Z }