:: BINOP_2 semantic presentation

REAL is non empty set

NAT is non empty epsilon-transitive epsilon-connected ordinal Element of bool REAL

bool REAL is set

COMPLEX is non empty set

INT is non empty set

RAT is non empty set

omega is non empty epsilon-transitive epsilon-connected ordinal set

F

F

[:F

bool [:F

z is V1() V4(F

z is V1() V4(F

z is Element of F

z . z is Element of F

F

z . z is Element of F

F

[:F

[:[:F

bool [:[:F

z is V1() V4([:F

z is V1() V4([:F

z is Element of F

z is Element of F

z . (z,z) is Element of F

K96(z,z) is set

z . K96(z,z) is set

F

z . (z,z) is Element of F

z . K96(z,z) is set

[:COMPLEX,COMPLEX:] is set

bool [:COMPLEX,COMPLEX:] is set

z is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]

z is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]

z is complex Element of COMPLEX

z . z is complex Element of COMPLEX

F

z . z is complex Element of COMPLEX

[:REAL,REAL:] is set

bool [:REAL,REAL:] is set

z is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool [:REAL,REAL:]

z is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool [:REAL,REAL:]

z is complex real Element of REAL

z . z is complex real Element of REAL

F

z . z is complex real Element of REAL

z is Element of RAT

[:RAT,RAT:] is set

bool [:RAT,RAT:] is set

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

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

z is complex real rational Element of RAT

z . z is complex real rational Element of RAT

F

z . z is complex real rational Element of RAT

[:INT,INT:] is set

bool [:INT,INT:] is set

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

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

z is complex real integer rational Element of INT

z . z is complex real integer rational Element of INT

F

z . z is complex real integer rational Element of INT

[:NAT,NAT:] is set

bool [:NAT,NAT:] is set

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

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

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z . z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

F

z . z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

[:COMPLEX,COMPLEX:] is set

[:[:COMPLEX,COMPLEX:],COMPLEX:] is set

bool [:[:COMPLEX,COMPLEX:],COMPLEX:] is set

z is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]

z is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]

z is complex Element of COMPLEX

z is complex Element of COMPLEX

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

K96(z,z) is set

z . K96(z,z) is set

F

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

z . K96(z,z) is set

[:REAL,REAL:] is set

[:[:REAL,REAL:],REAL:] is set

bool [:[:REAL,REAL:],REAL:] is set

z is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]

z is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]

z is complex real Element of REAL

z is complex real Element of REAL

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

K96(z,z) is set

z . K96(z,z) is set

F

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

z . K96(z,z) is set

[:RAT,RAT:] is set

[:[:RAT,RAT:],RAT:] is set

bool [:[:RAT,RAT:],RAT:] is set

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

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

z is complex real rational Element of RAT

z is complex real rational Element of RAT

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

K96(z,z) is set

z . K96(z,z) is set

F

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

z . K96(z,z) is set

[:INT,INT:] is set

[:[:INT,INT:],INT:] is set

bool [:[:INT,INT:],INT:] is set

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

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

z is complex real integer rational Element of INT

z is complex real integer rational Element of INT

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

K96(z,z) is set

z . K96(z,z) is set

F

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

z . K96(z,z) is set

[:NAT,NAT:] is set

[:[:NAT,NAT:],NAT:] is set

bool [:[:NAT,NAT:],NAT:] is set

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

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

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

K96(z,z) is set

z . K96(z,z) is set

F

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

z . K96(z,z) is set

[:COMPLEX,COMPLEX:] is set

[:[:COMPLEX,COMPLEX:],COMPLEX:] is set

bool [:[:COMPLEX,COMPLEX:],COMPLEX:] is set

z is complex Element of COMPLEX

z is complex Element of COMPLEX

F

z is complex Element of COMPLEX

z is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]

z is complex set

z is complex set

z . (z,z) is set

K96(z,z) is set

z . K96(z,z) is set

F

z is complex Element of COMPLEX

z is complex Element of COMPLEX

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

K96(z,z) is set

z . K96(z,z) is set

F

[:REAL,REAL:] is set

[:[:REAL,REAL:],REAL:] is set

bool [:[:REAL,REAL:],REAL:] is set

z is complex real Element of REAL

z is complex real Element of REAL

F

z is complex real Element of REAL

z is V1() V4([:REAL,REAL:]) V5( REAL ) Function-like V18([:REAL,REAL:], REAL ) Element of bool [:[:REAL,REAL:],REAL:]

z is complex real set

z is complex real set

z . (z,z) is set

K96(z,z) is set

z . K96(z,z) is set

F

z is complex real Element of REAL

z is complex real Element of REAL

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

K96(z,z) is set

z . K96(z,z) is set

F

[:RAT,RAT:] is set

[:[:RAT,RAT:],RAT:] is set

bool [:[:RAT,RAT:],RAT:] is set

z is complex real rational Element of RAT

z is complex real rational Element of RAT

F

z is complex real rational Element of RAT

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

z is complex real rational set

z is complex real rational set

z . (z,z) is set

K96(z,z) is set

z . K96(z,z) is set

F

z is complex real rational Element of RAT

z is complex real rational Element of RAT

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

K96(z,z) is set

z . K96(z,z) is set

F

[:INT,INT:] is set

[:[:INT,INT:],INT:] is set

bool [:[:INT,INT:],INT:] is set

z is complex real integer rational Element of INT

z is complex real integer rational Element of INT

F

z is complex real integer rational Element of INT

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

z is complex real integer rational set

z is complex real integer rational set

z . (z,z) is set

K96(z,z) is set

z . K96(z,z) is set

F

z is complex real integer rational Element of INT

z is complex real integer rational Element of INT

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

K96(z,z) is set

z . K96(z,z) is set

F

[:NAT,NAT:] is set

[:[:NAT,NAT:],NAT:] is set

bool [:[:NAT,NAT:],NAT:] is set

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

F

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set

z . (z,z) is set

K96(z,z) is set

z . K96(z,z) is set

F

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

K96(z,z) is set

z . K96(z,z) is set

F

[:COMPLEX,COMPLEX:] is set

bool [:COMPLEX,COMPLEX:] is set

z is complex Element of COMPLEX

F

z is complex Element of COMPLEX

z is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]

z is complex set

z . z is set

F

z is complex Element of COMPLEX

z . z is complex Element of COMPLEX

F

[:REAL,REAL:] is set

bool [:REAL,REAL:] is set

z is complex real Element of REAL

F

z is complex real Element of REAL

z is V1() V4( REAL ) V5( REAL ) Function-like V18( REAL , REAL ) Element of bool [:REAL,REAL:]

z is complex real set

z . z is set

F

z is complex real Element of REAL

z . z is complex real Element of REAL

F

[:RAT,RAT:] is set

bool [:RAT,RAT:] is set

z is complex real rational Element of RAT

F

z is complex real rational Element of RAT

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

z is complex real rational set

z . z is set

F

z is complex real rational Element of RAT

z . z is complex real rational Element of RAT

F

[:INT,INT:] is set

bool [:INT,INT:] is set

z is complex real integer rational Element of INT

F

z is complex real integer rational Element of INT

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

z is complex real integer rational set

z . z is set

F

z is complex real integer rational Element of INT

z . z is complex real integer rational Element of INT

F

[:NAT,NAT:] is set

bool [:NAT,NAT:] is set

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

F

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set

z . z is set

F

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z . z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

F

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 is complex real set

- z is complex real set

z " is complex real set

z is complex real 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

z is complex real rational set

- z is complex real rational set

z " is complex real rational set

z is complex real rational set

z + z is complex real rational set

z - z is complex real rational set

z * z is complex real rational set

z / z is complex real rational set

z is complex real integer rational set

- z is complex real integer rational set

z is complex real integer rational set

z + z is complex real integer rational set

z - z is complex real integer rational set

z * z is complex real integer rational set

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set

z + z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set

z * z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational set

[:COMPLEX,COMPLEX:] is set

bool [:COMPLEX,COMPLEX:] is set

[:[:COMPLEX,COMPLEX:],COMPLEX:] is set

bool [:[:COMPLEX,COMPLEX:],COMPLEX:] is set

() is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]

() is V1() V4( COMPLEX ) V5( COMPLEX ) Function-like V18( COMPLEX , COMPLEX ) Element of bool [:COMPLEX,COMPLEX:]

() is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]

() is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]

() is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]

() is V1() V4([:COMPLEX,COMPLEX:]) V5( COMPLEX ) Function-like V18([:COMPLEX,COMPLEX:], COMPLEX ) Element of bool [:[:COMPLEX,COMPLEX:],COMPLEX:]

[:REAL,REAL:] is set

bool [:REAL,REAL:] is set

[:[:REAL,REAL:],REAL:] is set

bool [:[:REAL,REAL:],REAL:] is set

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

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

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

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

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

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

[:RAT,RAT:] is set

bool [:RAT,RAT:] is set

[:[:RAT,RAT:],RAT:] is set

bool [:[:RAT,RAT:],RAT:] is set

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

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

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

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

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

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

[:INT,INT:] is set

bool [:INT,INT:] is set

[:[:INT,INT:],INT:] is set

bool [:[:INT,INT:],INT:] is set

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

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

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

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

[:NAT,NAT:] is set

[:[:NAT,NAT:],NAT:] is set

bool [:[:NAT,NAT:],NAT:] is set

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

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

z is complex Element of COMPLEX

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

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 is complex Element of COMPLEX

z is complex Element of COMPLEX

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 is complex Element of COMPLEX

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

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 is complex Element of COMPLEX

z is complex Element of COMPLEX

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 is complex real Element of REAL

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) 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 is complex real Element of REAL

z is complex real Element of REAL

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 is complex real Element of REAL

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) 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 is complex real Element of REAL

z is complex real Element of REAL

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 is complex real rational Element of RAT

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

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 is complex real rational Element of RAT

z is complex real rational Element of RAT

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 is complex real rational Element of RAT

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

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 is complex real rational Element of RAT

z is complex real rational Element of RAT

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 is complex real integer rational Element of INT

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) 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 is complex real integer rational Element of INT

z is complex real integer rational Element of INT

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 is complex real integer rational Element of INT

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) 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 is complex real integer rational Element of INT

z is complex real integer rational Element of INT

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 is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

K96(z,z) is set

() . K96(z,z) is set

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

K96(z,z) is set

() . K96(z,z) is set

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

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

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

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

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) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

() . (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

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

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

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

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

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

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

() . ((() . (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 is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

K96(z,z) is set

() . K96(z,z) is set

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

K96(z,z) is set

() . K96(z,z) is set

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

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

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

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

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) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

() . (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

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

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

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

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

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

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

() . ((() . (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

0 is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex Element of COMPLEX

z is complex Element of COMPLEX

() . (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 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

z is complex real Element of REAL

() . (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 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 is complex real rational Element of RAT

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

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

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 is complex real integer rational Element of INT

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

(0,z) is complex real integer rational Element of INT

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) is complex real integer rational Element of INT

(z,0) is complex real integer rational Element of INT

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

K96(0,z) is set

() . K96(0,z) is set

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

z is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

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

K96(z,0) is set

() . K96(z,0) is set

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

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

1 is non empty complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

z is complex Element of COMPLEX

z is complex Element of COMPLEX

() . (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 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

z is complex real Element of REAL

() . (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 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 is complex real rational Element of RAT

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

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

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 is complex real integer rational Element of INT

n is complex real integer rational Element of INT

() . (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 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

n is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

() . (1,n) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

K96(1,n) is set

() . K96(1,n) is set

(1,n) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

n is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

() . (n,1) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

K96(n,1) is set

() . K96(n,1) is set

() . (n,1) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

(n,1) is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

the_unity_wrt () is complex Element of COMPLEX

the_unity_wrt () is complex real Element of REAL

the_unity_wrt () is complex real rational Element of RAT

the_unity_wrt () is complex real integer rational Element of INT

the_unity_wrt () is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT

the_unity_wrt () is complex Element of COMPLEX

the_unity_wrt () is complex real Element of REAL

the_unity_wrt () is complex real rational Element of RAT

the_unity_wrt () is complex real integer rational Element of INT

the_unity_wrt () is complex epsilon-transitive epsilon-connected ordinal natural real integer rational Element of NAT