:: XCMPLX_1 semantic presentation

K28() is set

K32() is non zero epsilon-transitive epsilon-connected ordinal M2(K6(K28()))

K6(K28()) is set

0 is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural complex V12() V13() V14() V15() M3(K28(),K32())

1 is non zero epsilon-transitive epsilon-connected ordinal natural complex V12() V15() M3(K28(),K32())

a is complex set

b is complex set

c is complex set

b + c is complex set

a + (b + c) is complex set

a + b is complex set

(a + b) + c is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

c + b is complex set

a is complex set

b is complex set

a + b is complex set

a is complex set

b is complex set

c is complex set

b * c is complex set

a * (b * c) is complex set

a * b is complex set

(a * b) * c is complex set

a is complex set

b is complex set

b * a is complex set

c is complex set

c * a is complex set

a " is complex set

a * (a ") is complex set

b * (a * (a ")) is complex set

(c * a) * (a ") is complex set

b * 1 is complex set

c * (a * (a ")) is complex set

c * 1 is complex set

a is complex set

b is complex set

a * b is complex set

a is complex set

b is complex set

b * a is complex set

a " is complex set

(b * a) * (a ") is complex set

b * 1 is complex set

a is complex set

b is complex set

c is complex set

b + c is complex set

a * (b + c) is complex set

a * b is complex set

a * c is complex set

(a * b) + (a * c) is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

(a + b) + c is complex set

a is complex set

((a + b) + c) * a is complex set

a * a is complex set

b * a is complex set

(a * a) + (b * a) is complex set

c * a is complex set

((a * a) + (b * a)) + (c * a) is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

a is complex set

c + a is complex set

(a + b) * (c + a) is complex set

a * c is complex set

a * a is complex set

(a * c) + (a * a) is complex set

b * c is complex set

((a * c) + (a * a)) + (b * c) is complex set

b * a is complex set

(((a * c) + (a * a)) + (b * c)) + (b * a) is complex set

2 is non zero epsilon-transitive epsilon-connected ordinal natural complex V12() V15() M3(K28(),K32())

a is complex set

2 * a is complex set

a + a is complex set

3 is non zero epsilon-transitive epsilon-connected ordinal natural complex V12() V15() M3(K28(),K32())

a is complex set

3 * a is complex set

a + a is complex set

(a + a) + a is complex set

4 is non zero epsilon-transitive epsilon-connected ordinal natural complex V12() V15() M3(K28(),K32())

a is complex set

4 * a is complex set

a + a is complex set

(a + a) + a is complex set

((a + a) + a) + a is complex set

a is complex set

a - a is complex set

a is complex set

b is complex set

a - b is complex set

a is complex set

b is complex set

a - b is complex set

a is complex set

b is complex set

b - b is complex set

a - (b - b) is complex set

a is complex set

b is complex set

a - b is complex set

a - (a - b) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

c - b is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a - c is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) - c is complex set

a - c is complex set

(a - c) - b is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a - c is complex set

b - c is complex set

(a - c) - (b - c) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a - c is complex set

(a - b) - (a - c) is complex set

c - b is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a is complex set

c - a is complex set

a - c is complex set

b - a is complex set

a is complex set

a " is complex set

b is complex set

b " is complex set

(a ") * (b ") is complex set

a * b is complex set

(a * b) " is complex set

((a ") * (b ")) * 1 is complex set

(a * b) * ((a * b) ") is complex set

((a ") * (b ")) * ((a * b) * ((a * b) ")) is complex set

(a ") * a is complex set

(b ") * b is complex set

((a ") * a) * ((b ") * b) is complex set

(((a ") * a) * ((b ") * b)) * ((a * b) ") is complex set

1 * ((b ") * b) is complex set

(1 * ((b ") * b)) * ((a * b) ") is complex set

1 * ((a * b) ") is complex set

a is complex set

b is complex set

c is complex set

b / c is complex set

a / (b / c) is complex set

a * c is complex set

(a * c) / b is complex set

c " is complex set

b * (c ") is complex set

a / (b * (c ")) is complex set

(b * (c ")) " is complex set

a * ((b * (c ")) ") is complex set

b " is complex set

(c ") " is complex set

(b ") * ((c ") ") is complex set

a * ((b ") * ((c ") ")) is complex set

(a * c) * (b ") is complex set

a is complex set

b is complex set

b / a is complex set

(b / a) * a is complex set

a " is complex set

b * (a ") is complex set

(b * (a ")) * a is complex set

(a ") * a is complex set

b * ((a ") * a) is complex set

b * 1 is complex set

a is complex set

1 / a is complex set

a " is complex set

1 * (a ") is complex set

a is complex set

a / a is complex set

a " is complex set

a * (a ") is complex set

a is complex set

b is complex set

b - b is complex set

a + (b - b) is complex set

a is complex set

b is complex set

a + b is complex set

(a + b) - b is complex set

a is complex set

b is complex set

a - b is complex set

(a - b) + b is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

a + c is complex set

b - c is complex set

(a + c) + (b - c) is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

(a + b) - c is complex set

a - c is complex set

(a - c) + b is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) + c is complex set

c - b is complex set

(c - b) + a is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

a + c is complex set

c - b is complex set

(a + c) - (c - b) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a + c is complex set

b + c is complex set

(a + c) - (b + c) is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

a is complex set

c + a is complex set

a - c is complex set

a - b is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a is complex set

c - a is complex set

a + a is complex set

b + c is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

a is complex set

c - a is complex set

a + a is complex set

c - b is complex set

a is complex set

b is complex set

c is complex set

b + c is complex set

a - (b + c) is complex set

a - b is complex set

(a - b) - c is complex set

a is complex set

b is complex set

c is complex set

b - c is complex set

a - (b - c) is complex set

a - b is complex set

(a - b) + c is complex set

a is complex set

b is complex set

c is complex set

b - c is complex set

a - (b - c) is complex set

c - b is complex set

a + (c - b) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a - c is complex set

c - b is complex set

(a - c) + (c - b) is complex set

a is complex set

b is complex set

c is complex set

b - c is complex set

a * (b - c) is complex set

a * b is complex set

a * c is complex set

(a * b) - (a * c) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a is complex set

c - a is complex set

(a - b) * (c - a) is complex set

b - a is complex set

a - c is complex set

(b - a) * (a - c) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) - c is complex set

a is complex set

((a - b) - c) * a is complex set

a * a is complex set

b * a is complex set

(a * a) - (b * a) is complex set

c * a is complex set

((a * a) - (b * a)) - (c * a) is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

(a + b) - c is complex set

a is complex set

((a + b) - c) * a is complex set

a * a is complex set

b * a is complex set

(a * a) + (b * a) is complex set

c * a is complex set

((a * a) + (b * a)) - (c * a) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) + c is complex set

a is complex set

((a - b) + c) * a is complex set

a * a is complex set

b * a is complex set

(a * a) - (b * a) is complex set

c * a is complex set

((a * a) - (b * a)) + (c * a) is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

a is complex set

c - a is complex set

(a + b) * (c - a) is complex set

a * c is complex set

a * a is complex set

(a * c) - (a * a) is complex set

b * c is complex set

((a * c) - (a * a)) + (b * c) is complex set

b * a is complex set

(((a * c) - (a * a)) + (b * c)) - (b * a) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a is complex set

c + a is complex set

(a - b) * (c + a) is complex set

a * c is complex set

a * a is complex set

(a * c) + (a * a) is complex set

b * c is complex set

((a * c) + (a * a)) - (b * c) is complex set

b * a is complex set

(((a * c) + (a * a)) - (b * c)) - (b * a) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a is complex set

c - a is complex set

(a - b) * (c - a) is complex set

a * c is complex set

a * a is complex set

(a * c) - (a * a) is complex set

b * c is complex set

((a * c) - (a * a)) - (b * c) is complex set

b * a is complex set

(((a * c) - (a * a)) - (b * c)) + (b * a) is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

(a / b) / c is complex set

a / c is complex set

(a / c) / b is complex set

b " is complex set

a * (b ") is complex set

(a * (b ")) / c is complex set

c " is complex set

(a * (b ")) * (c ") is complex set

a * (c ") is complex set

(a * (c ")) * (b ") is complex set

(a / c) * (b ") is complex set

a is complex set

a / 0 is complex set

0 " is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural complex V12() V13() V14() V15() set

a * (0 ") is complex set

a is complex set

b is complex set

a / b is complex set

a is complex set

a / a is complex set

b is complex set

b / (a / a) is complex set

b / 1 is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

a * c is complex set

a is complex set

c / a is complex set

(a / b) * (c / a) is complex set

b * a is complex set

(a * c) / (b * a) is complex set

b " is complex set

a * (b ") is complex set

(a * (b ")) * (c / a) is complex set

a " is complex set

c * (a ") is complex set

(a * (b ")) * (c * (a ")) is complex set

(b ") * (a ") is complex set

(a * c) * ((b ") * (a ")) is complex set

(b * a) " is complex set

(a * c) * ((b * a) ") is complex set

a is complex set

b is complex set

a / b is complex set

(a / b) " is complex set

b / a is complex set

0 " is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural complex V12() V13() V14() V15() set

b * (0 ") is complex set

0 " is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural complex V12() V13() V14() V15() set

a * (0 ") is complex set

(a * (0 ")) " is complex set

(a / b) * (b / a) is complex set

a * b is complex set

(a * b) / (a * b) is complex set

a is complex set

b is complex set

a * b is complex set

c is complex set

b / c is complex set

a * (b / c) is complex set

(a * b) / c is complex set

a / 1 is complex set

(a / 1) * (b / c) is complex set

1 * c is complex set

(a * b) / (1 * c) is complex set

a is complex set

b is complex set

a / b is complex set

a / (a / b) is complex set

(a / b) " is complex set

a * ((a / b) ") is complex set

b / a is complex set

a * (b / a) is complex set

a * b is complex set

(a * b) / a is complex set

a / a is complex set

(a / a) * b is complex set

1 * b is complex set

a is complex set

b is complex set

b / a is complex set

c is complex set

c / a is complex set

(c / a) * a is complex set

a is complex set

b is complex set

b * a is complex set

(b * a) / a is complex set

b * 1 is complex set

a / a is complex set

b * (a / a) is complex set

a " is complex set

a * (a ") is complex set

b * (a * (a ")) is complex set

(b * a) * (a ") is complex set

a is complex set

b is complex set

a / b is complex set

a / (a / b) is complex set

(a / b) * b is complex set

a is complex set

b is complex set

b * a is complex set

c is complex set

b / c is complex set

c * a is complex set

(b * a) / (c * a) is complex set

c " is complex set

b * (c ") is complex set

(b * (c ")) * 1 is complex set

a " is complex set

a * (a ") is complex set

(b * (c ")) * (a * (a ")) is complex set

(c ") * (a ") is complex set

(b * a) * ((c ") * (a ")) is complex set

(c * a) " is complex set

(b * a) * ((c * a) ") is complex set

a is complex set

b is complex set

b / a is complex set

c is complex set

b / c is complex set

c / a is complex set

(b / a) / (c / a) is complex set

a " is complex set

b * (a ") is complex set

c * (a ") is complex set

(b * (a ")) / (c * (a ")) is complex set

(b / a) / (c * (a ")) is complex set

a is complex set

1 / a is complex set

1 / (1 / a) is complex set

1 * a is complex set

(1 * a) / 1 is complex set

a is complex set

a " is complex set

b is complex set

b " is complex set

a * (b ") is complex set

(a * (b ")) " is complex set

(a ") * b is complex set

(b ") " is complex set

(a ") * ((b ") ") is complex set

a is complex set

b is complex set

a / b is complex set

1 / (a / b) is complex set

b / a is complex set

b " is complex set

a * (b ") is complex set

1 / (a * (b ")) is complex set

(a * (b ")) " is complex set

a " is complex set

b * (a ") is complex set

a is complex set

b is complex set

a / b is complex set

1 * b is complex set

a is complex set

a " is complex set

b is complex set

b " is complex set

(b ") " is complex set

a is complex set

1 / a is complex set

b is complex set

1 / b is complex set

a " is complex set

b " is complex set

a is complex set

a / a is complex set

a is complex set

b is complex set

a / b is complex set

a * b is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

c / b is complex set

(a / b) + (c / b) is complex set

a + c is complex set

(a + c) / b is complex set

b " is complex set

a * (b ") is complex set

(a * (b ")) + (c / b) is complex set

c * (b ") is complex set

(a * (b ")) + (c * (b ")) is complex set

(a + c) * (b ") is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

(a + b) + c is complex set

a is complex set

((a + b) + c) / a is complex set

a / a is complex set

b / a is complex set

(a / a) + (b / a) is complex set

c / a is complex set

((a / a) + (b / a)) + (c / a) is complex set

(a + b) / a is complex set

((a + b) / a) + (c / a) is complex set

a is complex set

a + a is complex set

(a + a) / 2 is complex set

a is complex set

a / 2 is complex set

(a / 2) + (a / 2) is complex set

a is complex set

b is complex set

a + b is complex set

(a + b) / 2 is complex set

a is complex set

a + a is complex set

(a + a) + a is complex set

((a + a) + a) / 3 is complex set

a is complex set

a / 3 is complex set

(a / 3) + (a / 3) is complex set

((a / 3) + (a / 3)) + (a / 3) is complex set

a is complex set

a + a is complex set

(a + a) + a is complex set

((a + a) + a) + a is complex set

(((a + a) + a) + a) / 4 is complex set

a is complex set

a / 4 is complex set

(a / 4) + (a / 4) is complex set

((a / 4) + (a / 4)) + (a / 4) is complex set

(((a / 4) + (a / 4)) + (a / 4)) + (a / 4) is complex set

a is complex set

a / 4 is complex set

(a / 4) + (a / 4) is complex set

a / 2 is complex set

a is complex set

a + a is complex set

(a + a) / 4 is complex set

a / 2 is complex set

a is complex set

b is complex set

a * b is complex set

1 / b is complex set

a * 1 is complex set

b " is complex set

1 * (b ") is complex set

a is complex set

b is complex set

c is complex set

b / c is complex set

a * (b / c) is complex set

a * b is complex set

(a * b) / c is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

(a / b) * c is complex set

c / b is complex set

(c / b) * a is complex set

a * c is complex set

(a * c) / b is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

a is complex set

c / a is complex set

(a / b) * (c / a) is complex set

a * c is complex set

b * a is complex set

(a * c) / (b * a) is complex set

a is complex set

b is complex set

c is complex set

b / c is complex set

a / (b / c) is complex set

a * c is complex set

(a * c) / b is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

b * c is complex set

a is complex set

c / a is complex set

(a / b) / (c / a) is complex set

a * a is complex set

(a * a) / (b * c) is complex set

(c / a) " is complex set

(a / b) * ((c / a) ") is complex set

a / c is complex set

(a / b) * (a / c) is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

b * c is complex set

a / (b * c) is complex set

(a / b) / c is complex set

a * 1 is complex set

(a * 1) / (b * c) is complex set

c / 1 is complex set

(a / b) / (c / 1) is complex set

a is complex set

b is complex set

c is complex set

b / c is complex set

a / (b / c) is complex set

c / b is complex set

a * (c / b) is complex set

a * c is complex set

(a * c) / b is complex set

b " is complex set

(a * c) * (b ") is complex set

c * (b ") is complex set

a * (c * (b ")) is complex set

a is complex set

b is complex set

c is complex set

b / c is complex set

a / (b / c) is complex set

c / b is complex set

(c / b) * a is complex set

a * c is complex set

(a * c) / b is complex set

b " is complex set

(a * c) * (b ") is complex set

c * (b ") is complex set

a * (c * (b ")) is complex set

a * (c / b) is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

b / c is complex set

a / (b / c) is complex set

c * (a / b) is complex set

a * c is complex set

(a * c) / b is complex set

c * a is complex set

b " is complex set

(c * a) * (b ") is complex set

a * (b ") is complex set

c * (a * (b ")) is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

b / c is complex set

a / (b / c) is complex set

(a / b) * c is complex set

a * c is complex set

(a * c) / b is complex set

c * a is complex set

b " is complex set

(c * a) * (b ") is complex set

a * (b ") is complex set

c * (a * (b ")) is complex set

c * (a / b) is complex set

a is complex set

b is complex set

1 / b is complex set

a * (1 / b) is complex set

a / b is complex set

b " is complex set

a * (b ") is complex set

a is complex set

1 / a is complex set

b is complex set

c is complex set

b / c is complex set

(1 / a) * (b / c) is complex set

c * a is complex set

b / (c * a) is complex set

(b / c) / a is complex set

a " is complex set

(a ") * (b / c) is complex set

a is complex set

b is complex set

a * b is complex set

c is complex set

a / c is complex set

(a / c) * b is complex set

a is complex set

c * a is complex set

(a * b) / (c * a) is complex set

((a / c) * b) / a is complex set

1 / c is complex set

(a * b) / a is complex set

(1 / c) * ((a * b) / a) is complex set

(1 / c) * (a * b) is complex set

((1 / c) * (a * b)) / a is complex set

(1 / c) * a is complex set

((1 / c) * a) * b is complex set

(((1 / c) * a) * b) / a is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

a is complex set

c / a is complex set

(a / b) / (c / a) is complex set

a * a is complex set

b * c is complex set

(a * a) / (b * c) is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

c / b is complex set

a is complex set

c / a is complex set

(a / b) * (c / a) is complex set

a / a is complex set

(a / a) * (c / b) is complex set

a * c is complex set

a * b is complex set

(a * c) / (a * b) is complex set

a is complex set

b is complex set

c is complex set

b * c is complex set

a is complex set

b * a is complex set

a / (b * a) is complex set

e is complex set

a / e is complex set

(b * c) * (a / e) is complex set

a / ((b * c) * (a / e)) is complex set

e / c is complex set

(e / c) * (a / (b * a)) is complex set

e " is complex set

a * (e ") is complex set

(b * c) * (a * (e ")) is complex set

a / ((b * c) * (a * (e "))) is complex set

(b * a) * (e ") is complex set

c * ((b * a) * (e ")) is complex set

a / (c * ((b * a) * (e "))) is complex set

(b * a) / e is complex set

c * ((b * a) / e) is complex set

a / (c * ((b * a) / e)) is complex set

(b * a) / (e / c) is complex set

a / ((b * a) / (e / c)) is complex set

a is complex set

b is complex set

b / a is complex set

(b / a) * a is complex set

a is complex set

a / a is complex set

b is complex set

b * (a / a) is complex set

b * 1 is complex set

a is complex set

b is complex set

b * a is complex set

(b * a) / a is complex set

a is complex set

b is complex set

b * a is complex set

c is complex set

b * c is complex set

c / a is complex set

(b * a) * (c / a) is complex set

b * 1 is complex set

(b * 1) * c is complex set

a " is complex set

a * (a ") is complex set

b * (a * (a ")) is complex set

(b * (a * (a "))) * c is complex set

(a ") * c is complex set

(b * a) * ((a ") * c) is complex set

a is complex set

b is complex set

c is complex set

b / c is complex set

b * a is complex set

c * a is complex set

(b * a) / (c * a) is complex set

a is complex set

b is complex set

c is complex set

b / c is complex set

c * a is complex set

b / (c * a) is complex set

(b / (c * a)) * a is complex set

a * (b / (c * a)) is complex set

b * 1 is complex set

(b * 1) / (c * a) is complex set

a * ((b * 1) / (c * a)) is complex set

1 / a is complex set

(1 / a) * (b / c) is complex set

a * ((1 / a) * (b / c)) is complex set

(1 / a) * a is complex set

((1 / a) * a) * (b / c) is complex set

1 * (b / c) is complex set

a is complex set

b is complex set

b * a is complex set

c is complex set

b * c is complex set

a / c is complex set

(b * a) / (a / c) is complex set

b * 1 is complex set

(b * 1) * c is complex set

a " is complex set

a * (a ") is complex set

b * (a * (a ")) is complex set

(b * (a * (a "))) * c is complex set

(a ") * c is complex set

(b * a) * ((a ") * c) is complex set

c " is complex set

a * (c ") is complex set

(a * (c ")) " is complex set

(b * a) * ((a * (c ")) ") is complex set

(b * a) / (a * (c ")) is complex set

a is complex set

b is complex set

c is complex set

c * a is complex set

c / b is complex set

a is complex set

a * b is complex set

a / a is complex set

(a * b) / a is complex set

b * (a / a) is complex set

a is complex set

b is complex set

c is complex set

c / b is complex set

c * a is complex set

a is complex set

a / a is complex set

a * b is complex set

a * (c / b) is complex set

(c * a) / b is complex set

a is complex set

b is complex set

c is complex set

c * a is complex set

c * b is complex set

a is complex set

a / b is complex set

a / a is complex set

(c * a) * b is complex set

(c * b) * a is complex set

a is complex set

b is complex set

b / a is complex set

c is complex set

b / c is complex set

(b / a) / c is complex set

a * ((b / a) / c) is complex set

c " is complex set

b * (c ") is complex set

a * (b / a) is complex set

(a * (b / a)) * (c ") is complex set

(b / a) * (c ") is complex set

a * ((b / a) * (c ")) is complex set

a is complex set

b is complex set

b / a is complex set

c is complex set

b / c is complex set

a / c is complex set

(b / a) * (a / c) is complex set

c " is complex set

b * (c ") is complex set

(b / a) * a is complex set

((b / a) * a) * (c ") is complex set

a * (c ") is complex set

(b / a) * (a * (c ")) is complex set

a is complex set

b is complex set

1 / b is complex set

a * (1 / b) is complex set

a / b is complex set

a is complex set

a " is complex set

1 / (a ") is complex set

(a ") " is complex set

a is complex set

b is complex set

1 / b is complex set

a / (1 / b) is complex set

a * b is complex set

b " is complex set

a / (b ") is complex set

1 / (b ") is complex set

a * (1 / (b ")) is complex set

a is complex set

b is complex set

a / b is complex set

1 / b is complex set

c is complex set

(a / b) * c is complex set

(1 / b) * c is complex set

((1 / b) * c) * a is complex set

(1 / b) * a is complex set

((1 / b) * a) * c is complex set

a is complex set

1 / a is complex set

b is complex set

1 / b is complex set

(1 / a) * (1 / b) is complex set

a * b is complex set

1 / (a * b) is complex set

a " is complex set

(a ") * (1 / b) is complex set

b " is complex set

(a ") * (b ") is complex set

(a * b) " is complex set

a is complex set

1 / a is complex set

b is complex set

c is complex set

b / c is complex set

(1 / a) * (b / c) is complex set

c * a is complex set

b / (c * a) is complex set

a is complex set

b is complex set

a / b is complex set

1 / b is complex set

c is complex set

(a / b) / c is complex set

a / c is complex set

(1 / b) * (a / c) is complex set

b " is complex set

a * (b ") is complex set

(a * (b ")) / c is complex set

c " is complex set

(a * (b ")) * (c ") is complex set

a * (c ") is complex set

(a * (c ")) * (b ") is complex set

(a / c) * (b ") is complex set

(a / c) / b is complex set

(b ") * (a / c) is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

(a / b) / c is complex set

1 / c is complex set

(1 / c) * (a / b) is complex set

c " is complex set

(c ") * (a / b) is complex set

a is complex set

1 / a is complex set

a * (1 / a) is complex set

a " is complex set

a * (a ") is complex set

a is complex set

1 / a is complex set

b is complex set

b * a is complex set

(b * a) * (1 / a) is complex set

b * 1 is complex set

a / a is complex set

b * (a / a) is complex set

a " is complex set

a * (a ") is complex set

b * (a * (a ")) is complex set

a * (1 / a) is complex set

b * (a * (1 / a)) is complex set

a is complex set

1 / a is complex set

(1 / a) * a is complex set

b is complex set

b * ((1 / a) * a) is complex set

b * 1 is complex set

a is complex set

1 / a is complex set

b is complex set

b * (1 / a) is complex set

(b * (1 / a)) * a is complex set

b * 1 is complex set

(1 / a) * a is complex set

b * ((1 / a) * a) is complex set

a is complex set

1 / a is complex set

a * (1 / a) is complex set

b is complex set

b / (a * (1 / a)) is complex set

b / 1 is complex set

a is complex set

b is complex set

a * b is complex set

1 / (a * b) is complex set

a is complex set

b is complex set

a / b is complex set

b / a is complex set

(a / b) * (b / a) is complex set

(a / b) " is complex set

a is complex set

b is complex set

b / a is complex set

c is complex set

(b / a) + c is complex set

a * c is complex set

b + (a * c) is complex set

(b + (a * c)) / a is complex set

1 * c is complex set

(b / a) + (1 * c) is complex set

a " is complex set

a * (a ") is complex set

(a * (a ")) * c is complex set

(b / a) + ((a * (a ")) * c) is complex set

(a * c) * (a ") is complex set

(b / a) + ((a * c) * (a ")) is complex set

c * a is complex set

(c * a) / a is complex set

(b / a) + ((c * a) / a) is complex set

b + (c * a) is complex set

(b + (c * a)) / a is complex set

a is complex set

b is complex set

b / a is complex set

c is complex set

b + c is complex set

c / a is complex set

(b / a) + (c / a) is complex set

a * ((b / a) + (c / a)) is complex set

a * (b / a) is complex set

(a * (b / a)) + c is complex set

a * (c / a) is complex set

(a * (b / a)) + (a * (c / a)) is complex set

a is complex set

b is complex set

b * a is complex set

c is complex set

b + c is complex set

c * a is complex set

(b * a) + (c * a) is complex set

((b * a) + (c * a)) / a is complex set

(b * a) / a is complex set

((b * a) / a) + c is complex set

(c * a) / a is complex set

((b * a) / a) + ((c * a) / a) is complex set

a is complex set

b is complex set

a * b is complex set

c is complex set

c / a is complex set

c * b is complex set

a is complex set

a / b is complex set

(c / a) + (a / b) is complex set

a * a is complex set

(c * b) + (a * a) is complex set

((c * b) + (a * a)) / (a * b) is complex set

(c * b) / (a * b) is complex set

((c * b) / (a * b)) + (a / b) is complex set

(a * a) / (a * b) is complex set

((c * b) / (a * b)) + ((a * a) / (a * b)) is complex set

a is complex set

b is complex set

a + b is complex set

b / a is complex set

1 + (b / a) is complex set

a * (1 + (b / a)) is complex set

a / a is complex set

(a / a) + (b / a) is complex set

a * ((a / a) + (b / a)) is complex set

a is complex set

b is complex set

2 * b is complex set

a / (2 * b) is complex set

(a / (2 * b)) + (a / (2 * b)) is complex set

a / b is complex set

a + a is complex set

(a + a) / (2 * b) is complex set

2 * a is complex set

(2 * a) / (2 * b) is complex set

a is complex set

b is complex set

3 * b is complex set

a / (3 * b) is complex set

(a / (3 * b)) + (a / (3 * b)) is complex set

((a / (3 * b)) + (a / (3 * b))) + (a / (3 * b)) is complex set

a / b is complex set

a + a is complex set

(a + a) / (3 * b) is complex set

((a + a) / (3 * b)) + (a / (3 * b)) is complex set

(a + a) + a is complex set

((a + a) + a) / (3 * b) is complex set

3 * a is complex set

(3 * a) / (3 * b) is complex set

a is complex set

- a is complex set

b is complex set

a / b is complex set

- (a / b) is complex set

(- a) / b is complex set

b " is complex set

a * (b ") is complex set

- (a * (b ")) is complex set

(- a) * (b ") is complex set

a is complex set

b is complex set

a / b is complex set

c is complex set

c / b is complex set

(a / b) - (c / b) is complex set

a - c is complex set

(a - c) / b is complex set

- (c / b) is complex set

(a / b) + (- (c / b)) is complex set

- c is complex set

(- c) / b is complex set

(a / b) + ((- c) / b) is complex set

a + (- c) is complex set

(a + (- c)) / b is complex set

a is complex set

a / 2 is complex set

a - (a / 2) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) - c is complex set

a is complex set

((a - b) - c) / a is complex set

a / a is complex set

b / a is complex set

(a / a) - (b / a) is complex set

c / a is complex set

((a / a) - (b / a)) - (c / a) is complex set

(a - b) / a is complex set

((a - b) / a) - (c / a) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

c / a is complex set

a is complex set

a / b is complex set

c - a is complex set

(c - a) / (a - b) is complex set

c * b is complex set

a * a is complex set

c * (a - b) is complex set

(c - a) * a is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

(a + b) - c is complex set

a is complex set

((a + b) - c) / a is complex set

a / a is complex set

b / a is complex set

(a / a) + (b / a) is complex set

c / a is complex set

((a / a) + (b / a)) - (c / a) is complex set

(a + b) / a is complex set

((a + b) / a) - (c / a) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) + c is complex set

a is complex set

((a - b) + c) / a is complex set

a / a is complex set

b / a is complex set

(a / a) - (b / a) is complex set

c / a is complex set

((a / a) - (b / a)) + (c / a) is complex set

(a - b) / a is complex set

((a - b) / a) + (c / a) is complex set

a is complex set

b is complex set

b / a is complex set

c is complex set

(b / a) - c is complex set

c * a is complex set

b - (c * a) is complex set

(b - (c * a)) / a is complex set

- c is complex set

(b / a) + (- c) is complex set

(- c) * a is complex set

b + ((- c) * a) is complex set

(b + ((- c) * a)) / a is complex set

a is complex set

b is complex set

b * a is complex set

c is complex set

c / a is complex set

b - (c / a) is complex set

(b * a) - c is complex set

((b * a) - c) / a is complex set

(c / a) - b is complex set

- ((c / a) - b) is complex set

c - (b * a) is complex set

(c - (b * a)) / a is complex set

- ((c - (b * a)) / a) is complex set

- (c - (b * a)) is complex set

(- (c - (b * a))) / a is complex set

a is complex set

b is complex set

b / a is complex set

c is complex set

b - c is complex set

c / a is complex set

(b / a) - (c / a) is complex set

a * ((b / a) - (c / a)) is complex set

a * (b / a) is complex set

(a * (b / a)) - c is complex set

a * (c / a) is complex set

(a * (b / a)) - (a * (c / a)) is complex set

a is complex set

b is complex set

b * a is complex set

c is complex set

b - c is complex set

c * a is complex set

(b * a) - (c * a) is complex set

((b * a) - (c * a)) / a is complex set

- c is complex set

b + (- c) is complex set

(- c) * a is complex set

(b * a) + ((- c) * a) is complex set

((b * a) + ((- c) * a)) / a is complex set

a is complex set

b is complex set

a * b is complex set

c is complex set

c / a is complex set

c * b is complex set

a is complex set

a / b is complex set

(c / a) - (a / b) is complex set

a * a is complex set

(c * b) - (a * a) is complex set

((c * b) - (a * a)) / (a * b) is complex set

- (a / b) is complex set

(c / a) + (- (a / b)) is complex set

- a is complex set

(- a) / b is complex set

(c / a) + ((- a) / b) is complex set

(- a) * a is complex set

(c * b) + ((- a) * a) is complex set

((c * b) + ((- a) * a)) / (a * b) is complex set

a is complex set

b is complex set

a - b is complex set

b / a is complex set

1 - (b / a) is complex set

a * (1 - (b / a)) is complex set

- b is complex set

a + (- b) is complex set

(- b) / a is complex set

1 + ((- b) / a) is complex set

a * (1 + ((- b) / a)) is complex set

- (b / a) is complex set

1 + (- (b / a)) is complex set

a * (1 + (- (b / a))) is complex set

a is complex set

b is complex set

a * b is complex set

c is complex set

(a * b) + c is complex set

((a * b) + c) - c is complex set

(((a * b) + c) - c) / a is complex set

a is complex set

- a is complex set

b is complex set

- b is complex set

a is complex set

- a is complex set

a is complex set

b is complex set

- b is complex set

a + (- b) is complex set

a is complex set

b is complex set

a + b is complex set

- b is complex set

(a + b) + (- b) is complex set

a is complex set

b is complex set

- b is complex set

b + (- b) is complex set

a + (b + (- b)) is complex set

a is complex set

b is complex set

- b is complex set

(- b) + a is complex set

((- b) + a) + b is complex set

a is complex set

b is complex set

a + b is complex set

- (a + b) is complex set

- a is complex set

- b is complex set

(- a) + (- b) is complex set

a is complex set

- a is complex set

b is complex set

(- a) + b is complex set

- ((- a) + b) is complex set

- b is complex set

a + (- b) is complex set

a is complex set

b is complex set

a + b is complex set

- a is complex set

- b is complex set

(- a) + (- b) is complex set

- ((- a) + (- b)) is complex set

a is complex set

b is complex set

a - b is complex set

- (a - b) is complex set

b - a is complex set

a is complex set

- a is complex set

b is complex set

(- a) - b is complex set

- b is complex set

(- b) - a is complex set

a is complex set

b is complex set

- b is complex set

- a is complex set

(- a) - b is complex set

(- b) - ((- a) - b) is complex set

a is complex set

- a is complex set

b is complex set

(- a) - b is complex set

c is complex set

((- a) - b) - c is complex set

(- a) - c is complex set

((- a) - c) - b is complex set

a is complex set

- a is complex set

b is complex set

(- a) - b is complex set

c is complex set

((- a) - b) - c is complex set

- b is complex set

(- b) - c is complex set

((- b) - c) - a is complex set

a is complex set

- a is complex set

b is complex set

(- a) - b is complex set

c is complex set

((- a) - b) - c is complex set

- c is complex set

(- c) - b is complex set

((- c) - b) - a is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

a - c is complex set

(a - b) - (a - c) is complex set

b - c is complex set

- (b - c) is complex set

a is complex set

0 - a is complex set

- a is complex set

a is complex set

b is complex set

a + b is complex set

- b is complex set

a - (- b) is complex set

a is complex set

b is complex set

- b is complex set

b + (- b) is complex set

a - (b + (- b)) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

- b is complex set

c + (- b) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

- c is complex set

a + (- c) is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

(a + b) - c is complex set

- c is complex set

(- c) + a is complex set

((- c) + a) + b is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) + c is complex set

- b is complex set

(- b) + c is complex set

((- b) + c) + a is complex set

a is complex set

b is complex set

- b is complex set

c is complex set

(- b) - c is complex set

a - ((- b) - c) is complex set

a + b is complex set

(a + b) + c is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) - c is complex set

- b is complex set

(- b) - c is complex set

((- b) - c) + a is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) - c is complex set

- c is complex set

(- c) + a is complex set

((- c) + a) - b is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) - c is complex set

- c is complex set

(- c) - b is complex set

((- c) - b) + a is complex set

a is complex set

b is complex set

a + b is complex set

- (a + b) is complex set

- b is complex set

(- b) - a is complex set

a is complex set

b is complex set

a - b is complex set

- (a - b) is complex set

- a is complex set

(- a) + b is complex set

a is complex set

- a is complex set

b is complex set

(- a) + b is complex set

- ((- a) + b) is complex set

a - b is complex set

a is complex set

b is complex set

a + b is complex set

- a is complex set

(- a) - b is complex set

- ((- a) - b) is complex set

a is complex set

- a is complex set

b is complex set

(- a) + b is complex set

c is complex set

((- a) + b) - c is complex set

- c is complex set

(- c) + b is complex set

((- c) + b) - a is complex set

a is complex set

- a is complex set

b is complex set

(- a) + b is complex set

c is complex set

((- a) + b) - c is complex set

- c is complex set

(- c) - a is complex set

((- c) - a) + b is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

(a + b) + c is complex set

- ((a + b) + c) is complex set

- a is complex set

(- a) - b is complex set

((- a) - b) - c is complex set

a is complex set

b is complex set

a + b is complex set

c is complex set

(a + b) - c is complex set

- ((a + b) - c) is complex set

- a is complex set

(- a) - b is complex set

((- a) - b) + c is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) + c is complex set

- ((a - b) + c) is complex set

- a is complex set

(- a) + b is complex set

((- a) + b) - c is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) - c is complex set

- ((a - b) - c) is complex set

- a is complex set

(- a) + b is complex set

((- a) + b) + c is complex set

a is complex set

- a is complex set

b is complex set

(- a) + b is complex set

c is complex set

((- a) + b) + c is complex set

- (((- a) + b) + c) is complex set

a - b is complex set

(a - b) - c is complex set

a is complex set

- a is complex set

b is complex set

(- a) + b is complex set

c is complex set

((- a) + b) - c is complex set

- (((- a) + b) - c) is complex set

a - b is complex set

(a - b) + c is complex set

a is complex set

- a is complex set

b is complex set

(- a) - b is complex set

c is complex set

((- a) - b) + c is complex set

- (((- a) - b) + c) is complex set

a + b is complex set

(a + b) - c is complex set

a is complex set

- a is complex set

b is complex set

(- a) - b is complex set

c is complex set

((- a) - b) - c is complex set

- (((- a) - b) - c) is complex set

a + b is complex set

(a + b) + c is complex set

a is complex set

- a is complex set

b is complex set

(- a) * b is complex set

a * b is complex set

- (a * b) is complex set

a is complex set

- a is complex set

b is complex set

(- a) * b is complex set

- b is complex set

a * (- b) is complex set

a is complex set

- a is complex set

b is complex set

- b is complex set

(- a) * (- b) is complex set

a * b is complex set

a is complex set

b is complex set

- b is complex set

a * (- b) is complex set

- (a * (- b)) is complex set

a * b is complex set

a is complex set

- a is complex set

b is complex set

(- a) * b is complex set

- ((- a) * b) is complex set

a * b is complex set

- 1 is non zero complex V12() V15() set

a is complex set

(- 1) * a is complex set

- a is complex set

a is complex set

- a is complex set

(- a) * (- 1) is complex set

a is complex set

- a is complex set

b is complex set

b * a is complex set

a " is complex set

a * (a ") is complex set

b * (a * (a ")) is complex set

(- a) * (a ") is complex set

b * 1 is complex set

- (a * (a ")) is complex set

a is complex set

a * a is complex set

a - 1 is complex set

a + 1 is complex set

(a - 1) * (a + 1) is complex set

a is complex set

- a is complex set

2 * a is complex set

(- a) + (2 * a) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) * c is complex set

b - a is complex set

- c is complex set

(b - a) * (- c) is complex set

a is complex set

b is complex set

a - b is complex set

c is complex set

(a - b) * c is complex set

b - a is complex set

(b - a) * c is complex set

- ((b - a) * c) is complex set

a is complex set

2 * a is complex set

a - (2 * a) is complex set

- a is complex set

a is complex set

b is complex set

a / b is complex set

- (a / b) is complex set

- a is complex set

(- a) / b is complex set

a is complex set

b is complex set

- b is complex set

a / (- b) is complex set

a / b is complex set

- (a / b) is complex set

a * (- 1) is complex set

(- b) * (- 1) is complex set

(a * (- 1)) / ((- b) * (- 1)) is complex set

- a is complex set

- (- b) is complex set

(- (- b)) * 1 is complex set

(- a) / ((- (- b)) * 1) is complex set

a is complex set

b is complex set

- b is complex set

a / (- b) is complex set

- (a / (- b)) is complex set

a / b is complex set

- (a / b) is complex set

- (- (a / b)) is complex set

a is complex set

- a is complex set

b is complex set

(- a) / b is complex set

- ((- a) / b) is complex set

a / b is complex set

- (a / b) is complex set

- (- (a / b)) is complex set

a is complex set

- a is complex set

b is complex set

- b is complex set

(- a) / (- b) is complex set

a / b is complex set

(- a) / b is complex set

- ((- a) / b) is complex set

a is complex set

- a is complex set

b is complex set

(- a) / b is complex set

- b is complex set

a / (- b) is complex set

a / b is complex set

- (a / b) is complex set

a is complex set

- a is complex set

a / (- 1) is complex set

a is complex set

- a is complex set

(- a) / (- 1) is complex set

a is complex set

- a is complex set

b is complex set

a / b is complex set

- b is complex set

(- 1) * b is complex set

a is complex set

- a is complex set

b is complex set

a / b is complex set

(- a) * b is complex set

a * b is complex set

- (a * b) is complex set

a is complex set

- a is complex set

(- a) / a is complex set

a / a is complex set

- (a / a) is complex set

a is complex set

- a is complex set

a / (- a) is complex set