Parralel truth

If: a = b + 2

Then if:

a = 0

then b = -2

If a != 0,

a is 2 higher than b.

Right?

But:

One could also say:

a = b + 2

a - 2 = b

a = a - 2 + 2

a = a

What if we said:

a = a + 2

a != a + 2 + b (given b != 0)

a - a - 2 != b

-2 != b

a != a + 2 - 2

a != a

Thus:

a = a + 2

And:

a = a + 2 + b

Anyway,

Consider it like this too, for parallel truth:

a = 1

b = 2

a != b & a = b

Because 1 != 2, but red is red.

Or like thus:

{0,2} != {1,2}

Then lets compare the two sets:

0 != 1

0 != 2

2 != 1

2 = 2

So how can sets be equal or not in multiple dimensions?

Red is red.

Does 'equals' or 'does not equal' have to be true for every dimension? Or is an 'OR equals' enough, as if 'equals is TRUE if TRUE in at least one comparison?'

Red is red after all.