% is used in a lot of programming languages as the modulo operator.
[tex]a\%b=c\iff a\equiv c\mod b[/tex]
which is to say, the remainder upon dividing [tex]a[/tex] by [tex]b[/tex] is [tex]c[/tex].
When you divide any integer by 2, you can get either a remainder of 0 or 1. So in your example, [tex]x\%2\neq0[/tex] refers to all numbers [tex]x[/tex] between 1 and 9 that are not perfectly divisible by 2. In other words, [tex]x\%2\neq0[/tex] refers to those [tex]x[/tex] that are odd. (This assumes [tex]B[/tex] is a subset of the integers.)