:: 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
a / a is complex set
- (a / a) is complex set
a is complex set
a " is complex set
a * 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
- 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
a " is complex set
b is complex set
b " is complex set
0 " is zero epsilon-transitive epsilon-connected ordinal T-Sequence-like c=-linear natural complex V12() V13() V14() V15() set
a is complex set
a " is complex set
b 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
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
b 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
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
b is complex set
b " is complex set
a * (b ") is complex set
a is complex set
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 " 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
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 + b) * ((a * b) ") is complex set
(b ") * 1 is complex set
(a ") * a is complex set
(b ") * ((a ") * a) is complex set
(a ") * (b ") is complex set
((a ") * (b ")) * a is complex set
((a * b) ") * a is complex set
(a ") * 1 is complex set
(b ") * b is complex set
(a ") * ((b ") * b) is complex set
((a ") * (b ")) * b is complex set
((a * b) ") * b is complex set
a is complex set
- a is complex set
(- a) " is complex set
a " is complex set
- (a ") is complex set
1 / (- a) is complex set
1 / a is complex set
- (1 / 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
b - a is complex set
a * b is complex set
(a * b) " is complex set
(b - a) * ((a * b) ") is complex set
- (b ") is complex set
(a ") + (- (b ")) 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)) * ((a * (- b)) ") is complex set
- (a * b) is complex set
(- (a * b)) " is complex set
(a + (- b)) * ((- (a * b)) ") 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
(a / b) " 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
b / a is complex set
(b ") " is complex set
(a ") * ((b ") ") is complex set
a is complex set
1 / a is complex set
a " is complex set
a is complex set
a " is complex set
1 / (a ") is complex set
a is complex set
1 / a is complex set
(1 / a) " is complex set
a " is complex set
a is complex set
1 / a is complex set
b is complex set
b " is complex set
1 / 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
(b ") " is complex set
a * ((b ") ") is complex set
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
b / (a * c) is complex set
c " is complex set
b * (c ") is complex set
(a ") * (b * (c ")) is complex set
(a ") * (c ") is complex set
b * ((a ") * (c ")) is complex set
(a * c) " is complex set
b * ((a * 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
b " is complex set
(a ") * (b ") is complex set
a is complex set
- a is complex set
(- a) " is complex set
a " is complex set
- (a ") is complex set
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
((a + b) + c) - b 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 - b) + c) + b 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 + b) - c) - b 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 - b) - c) + b is complex set
a - c is complex set
a is complex set
a - a is complex set
b is complex set
(a - a) - b is complex set
- b is complex set
a is complex set
- a is complex set
(- a) + a is complex set
b is complex set
((- a) + a) - b is complex set
- b is complex set
a is complex set
b is complex set
a - b is complex set
(a - b) - a is complex set
- b is complex set
a is complex set
- a is complex set
b is complex set
(- a) - b is complex set
((- a) - b) + a is complex set
- b is complex set
a is complex set
b is complex set
b / 0 is complex set
b * (0 ") is complex set
b / a is complex set
c is complex set
b / c is complex set
a * 1 is complex set
c " is complex set
c * (c ") is complex set
a * (c * (c ")) is complex set
a * c is complex set
(a * c) * (c ") is complex set
a " is complex set
(a ") * b is complex set
a * ((a ") * b) is complex set
(a * ((a ") * b)) * (c ") is complex set
a * (a ") is complex set
(a * (a ")) * b is complex set
((a * (a ")) * b) * (c ") is complex set
1 * b is complex set
(1 * b) * (c ") 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
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 - b) / c) * a) + b is complex set
a / c is complex set
1 - (a / c) is complex set
(1 - (a / c)) * b is complex set
(a / c) * a is complex set
((1 - (a / c)) * b) + ((a / c) * a) is complex set
c " is complex set
a * (c ") is complex set
a * 0 is complex set
(a - b) * (c ") is complex set
((a - b) * (c ")) * a is complex set
(((a - b) * (c ")) * a) + b is complex set
(a - b) * 0 is complex set
((a - b) * 0) * a is complex set
(((a - b) * 0) * a) + b is complex set
b * 1 is complex set
(((a - b) / c) * a) + (b * 1) is complex set
c / c is complex set
b * (c / c) is complex set
(((a - b) / c) * a) + (b * (c / c)) is complex set
b * c is complex set
(b * c) / c is complex set
(((a - b) / c) * a) + ((b * c) / c) is complex set
(a - b) * a is complex set
((a - b) * a) / c is complex set
(((a - b) * a) / c) + ((b * c) / c) is complex set
((a - b) * a) + (b * c) is complex set
(((a - b) * a) + (b * c)) / c is complex set
c - a is complex set
(c - a) * b is complex set
a * a is complex set
((c - a) * b) + (a * a) is complex set
(((c - a) * b) + (a * a)) / c is complex set
((c - a) * b) / c is complex set
(a * a) / c is complex set
(((c - a) * b) / c) + ((a * a) / c) is complex set
(((c - a) * b) / c) + ((a / c) * a) is complex set
(c - a) / c is complex set
((c - a) / c) * b is complex set
(((c - a) / c) * b) + ((a / c) * a) is complex set
(c / c) - (a / c) is complex set
((c / c) - (a / c)) * b is complex set
(((c / c) - (a / c)) * 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
c / a is complex set
b + (c / a) is complex set
a * (b + (c / a)) is complex set
a * (c / a) is complex set
(a * b) + (a * (c / a)) is complex set