:: BINOP_2 semantic presentation

REAL is non empty set

COMPLEX is non empty set
INT is non empty set
RAT is non empty set

F1() is non empty set
F2() is non empty set
[:F1(),F2():] is set
bool [:F1(),F2():] is set
z is V1() V4(F1()) V5(F2()) Function-like V18(F1(),F2()) Element of bool [:F1(),F2():]
z is V1() V4(F1()) V5(F2()) Function-like V18(F1(),F2()) Element of bool [:F1(),F2():]
z is Element of F1()
z . z is Element of F2()
F3(z) is set
z . z is Element of F2()
F1() is non empty set
[:F1(),F1():] is set
[:[:F1(),F1():],F1():] is set
bool [:[:F1(),F1():],F1():] is set
z is V1() V4([:F1(),F1():]) V5(F1()) Function-like V18([:F1(),F1():],F1()) Element of bool [:[:F1(),F1():],F1():]
z is V1() V4([:F1(),F1():]) V5(F1()) Function-like V18([:F1(),F1():],F1()) Element of bool [:[:F1(),F1():],F1():]
z is Element of F1()
z is Element of F1()
z . (z,z) is Element of F1()
K96(z,z) is set
z . K96(z,z) is set
F2(z,z) is set
z . (z,z) is Element of F1()
z . K96(z,z) is set

z . z is complex Element of COMPLEX
F1(z) is set
z . z is complex Element of COMPLEX

z . z is complex real Element of REAL
F1(z) is set
z . z is complex real Element of REAL
z is Element of RAT

z is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool
z is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool

F1(z) is set

z is V1() V4( INT ) V5( INT ) Function-like V18( INT , INT ) Element of bool
z is V1() V4( INT ) V5( INT ) Function-like V18( INT , INT ) Element of bool

F1(z) is set

z is V1() V4( NAT ) V5( NAT ) Function-like V18( NAT , NAT ) Element of bool
z is V1() V4( NAT ) V5( NAT ) Function-like V18( NAT , NAT ) Element of bool

F1(z) is set

z . (z,z) is complex Element of COMPLEX
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex Element of COMPLEX
z . K96(z,z) is set

z . (z,z) is complex real Element of REAL
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex real Element of REAL
z . K96(z,z) is set

z . (z,z) is complex real rational Element of RAT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex real rational Element of RAT
z . K96(z,z) is set

z . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set
z . (z,z) is complex real integer rational Element of INT
z . K96(z,z) is set

K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is set

z . K96(z,z) is set

F1(z,z) is complex set

z is complex set
z is complex set
z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex set

z . (z,z) is complex Element of COMPLEX
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex set

F1(z,z) is complex real set

z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real set

z . (z,z) is complex real Element of REAL
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real set

F1(z,z) is complex real rational set

z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real rational set

z . (z,z) is complex real rational Element of RAT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real rational set

F1(z,z) is complex real integer rational set

z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real integer rational set

z . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
z . K96(z,z) is set
F1(z,z) is complex real integer rational set

z . (z,z) is set
K96(z,z) is set
z . K96(z,z) is set

K96(z,z) is set
z . K96(z,z) is set

F1(z) is complex set

z is complex set
z . z is set
F1(z) is complex set

z . z is complex Element of COMPLEX
F1(z) is complex set

F1(z) is complex real set

z . z is set
F1(z) is complex real set

z . z is complex real Element of REAL
F1(z) is complex real set

F1(z) is complex real rational set

z is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool

z . z is set
F1(z) is complex real rational set

F1(z) is complex real rational set

F1(z) is complex real integer rational set

z is V1() V4( INT ) V5( INT ) Function-like V18( INT , INT ) Element of bool

z . z is set
F1(z) is complex real integer rational set

F1(z) is complex real integer rational set

z is V1() V4( NAT ) V5( NAT ) Function-like V18( NAT , NAT ) Element of bool

z . z is set

z is complex set
- z is complex set
z " is complex set
z is complex set
z + z is complex set
z - z is complex set
z * z is complex set
z / z is complex set

z + z is complex real set
z - z is complex real set
z * z is complex real set
z / z is complex real set

() is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool
() is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool

() is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool
() is V1() V4( RAT ) V5( RAT ) Function-like V18( RAT , RAT ) Element of bool
() is V1() V4() V5( RAT ) Function-like V18(, RAT ) Element of bool
() is V1() V4() V5( RAT ) Function-like V18(, RAT ) Element of bool
() is V1() V4() V5( RAT ) Function-like V18(, RAT ) Element of bool
() is V1() V4() V5( RAT ) Function-like V18(, RAT ) Element of bool

() is V1() V4( INT ) V5( INT ) Function-like V18( INT , INT ) Element of bool
() is V1() V4() V5( INT ) Function-like V18(, INT ) Element of bool
() is V1() V4() V5( INT ) Function-like V18(, INT ) Element of bool
() is V1() V4() V5( INT ) Function-like V18(, INT ) Element of bool

() is V1() V4() V5( NAT ) Function-like V18(, NAT ) Element of bool
() is V1() V4() V5( NAT ) Function-like V18(, NAT ) Element of bool

() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX

() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex Element of COMPLEX
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex Element of COMPLEX
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex Element of COMPLEX
() . (z,(() . (z,z))) is complex Element of COMPLEX
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
(z,(z,z)) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
((z,z),z) is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
((() . (z,z)),z) is complex Element of COMPLEX
() . ((() . (z,z)),z) is complex Element of COMPLEX
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX

() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex Element of COMPLEX
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex Element of COMPLEX
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex Element of COMPLEX
() . (z,(() . (z,z))) is complex Element of COMPLEX
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
(z,(z,z)) is complex Element of COMPLEX
(z,z) is complex Element of COMPLEX
((z,z),z) is complex Element of COMPLEX
() . (z,z) is complex Element of COMPLEX
((() . (z,z)),z) is complex Element of COMPLEX
() . ((() . (z,z)),z) is complex Element of COMPLEX
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real Element of REAL
(z,z) is complex real Element of REAL
() . (z,z) is complex real Element of REAL

() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real Element of REAL
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real Element of REAL
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real Element of REAL
() . (z,(() . (z,z))) is complex real Element of REAL
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real Element of REAL
(z,z) is complex real Element of REAL
(z,(z,z)) is complex real Element of REAL
(z,z) is complex real Element of REAL
((z,z),z) is complex real Element of REAL
() . (z,z) is complex real Element of REAL
((() . (z,z)),z) is complex real Element of REAL
() . ((() . (z,z)),z) is complex real Element of REAL
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real Element of REAL
(z,z) is complex real Element of REAL
() . (z,z) is complex real Element of REAL

() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real Element of REAL
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real Element of REAL
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real Element of REAL
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real Element of REAL
() . (z,(() . (z,z))) is complex real Element of REAL
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real Element of REAL
(z,z) is complex real Element of REAL
(z,(z,z)) is complex real Element of REAL
(z,z) is complex real Element of REAL
((z,z),z) is complex real Element of REAL
() . (z,z) is complex real Element of REAL
((() . (z,z)),z) is complex real Element of REAL
() . ((() . (z,z)),z) is complex real Element of REAL
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT

() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real rational Element of RAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real rational Element of RAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real rational Element of RAT
() . (z,(() . (z,z))) is complex real rational Element of RAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
(z,(z,z)) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
((z,z),z) is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
((() . (z,z)),z) is complex real rational Element of RAT
() . ((() . (z,z)),z) is complex real rational Element of RAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT

() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real rational Element of RAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real rational Element of RAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real rational Element of RAT
() . (z,(() . (z,z))) is complex real rational Element of RAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
(z,(z,z)) is complex real rational Element of RAT
(z,z) is complex real rational Element of RAT
((z,z),z) is complex real rational Element of RAT
() . (z,z) is complex real rational Element of RAT
((() . (z,z)),z) is complex real rational Element of RAT
() . ((() . (z,z)),z) is complex real rational Element of RAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT

() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real integer rational Element of INT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real integer rational Element of INT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real integer rational Element of INT
() . (z,(() . (z,z))) is complex real integer rational Element of INT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
(z,(z,z)) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
((z,z),z) is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
((() . (z,z)),z) is complex real integer rational Element of INT
() . ((() . (z,z)),z) is complex real integer rational Element of INT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT

() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex real integer rational Element of INT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex real integer rational Element of INT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set
() . (z,z) is complex real integer rational Element of INT
() . (z,(() . (z,z))) is complex real integer rational Element of INT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set
(z,(() . (z,z))) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
(z,(z,z)) is complex real integer rational Element of INT
(z,z) is complex real integer rational Element of INT
((z,z),z) is complex real integer rational Element of INT
() . (z,z) is complex real integer rational Element of INT
((() . (z,z)),z) is complex real integer rational Element of INT
() . ((() . (z,z)),z) is complex real integer rational Element of INT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

K96(z,z) is set
() . K96(z,z) is set

K96(z,z) is set
() . K96(z,z) is set

K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set

K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set

() . ((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

K96(z,z) is set
() . K96(z,z) is set

K96(z,z) is set
() . K96(z,z) is set

K96(z,z) is set
() . K96(z,z) is set
() . (z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set

K96(z,z) is set
() . K96(z,z) is set
() . ((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,(() . (z,z))) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96(z,(() . (z,z))) is set
() . K96(z,(() . (z,z))) is set

() . ((() . (z,z)),z) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT
K96((() . (z,z)),z) is set
() . K96((() . (z,z)),z) is set

() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
(0,z) is complex Element of COMPLEX

() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
(z,0) is complex Element of COMPLEX

() . (0,z) is complex real Element of REAL
K96(0,z) is set
() . K96(0,z) is set
(0,z) is complex real Element of REAL

() . (z,0) is complex real Element of REAL
K96(z,0) is set
() . K96(z,0) is set
() . (z,0) is complex real Element of REAL
(z,0) is complex real Element of REAL

() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
(0,z) is complex real rational Element of RAT

() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
(z,0) is complex real rational Element of RAT

() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set

() . (z,z) is complex real integer rational Element of INT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real integer rational Element of INT

K96(0,z) is set
() . K96(0,z) is set

K96(z,0) is set
() . K96(z,0) is set

() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
(1,z) is complex Element of COMPLEX

() . (z,z) is complex Element of COMPLEX
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex Element of COMPLEX
(z,1) is complex Element of COMPLEX

() . (1,z) is complex real Element of REAL
K96(1,z) is set
() . K96(1,z) is set
(1,z) is complex real Element of REAL

() . (z,1) is complex real Element of REAL
K96(z,1) is set
() . K96(z,1) is set
() . (z,1) is complex real Element of REAL
(z,1) is complex real Element of REAL

() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
(1,z) is complex real rational Element of RAT

() . (z,z) is complex real rational Element of RAT
K96(z,z) is set
() . K96(z,z) is set
() . (z,z) is complex real rational Element of RAT
(z,1) is complex real rational Element of RAT

() . (z,n) is complex real integer rational Element of INT
K96(z,n) is set
() . K96(z,n) is set
(1,n) is complex real integer rational Element of INT

() . (n,z) is complex real integer rational Element of INT
K96(n,z) is set
() . K96(n,z) is set
() . (n,z) is complex real integer rational Element of INT
(n,1) is complex real integer rational Element of INT

K96(1,n) is set
() . K96(1,n) is set

K96(n,1) is set
() . K96(n,1) is set