:: FINTOPO2 semantic presentation

K135() is Element of bool K131()

K131() is set

bool K131() is non empty set

K130() is set

bool K130() is non empty set

bool K135() is non empty set

BOOLEAN is set

{} is empty set

the empty set is empty set

1 is non empty set

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

A ^i is Element of bool the carrier of FMT

{ b

B ^i is Element of bool the carrier of FMT

{ b

C is set

y is Element of the carrier of FMT

U_FT y is Element of bool the carrier of FMT

z is Element of the carrier of FMT

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

A ^delta is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

A ^b is Element of bool the carrier of FMT

{ b

A ^i is Element of bool the carrier of FMT

{ b

(A ^i) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A ^i) is set

(A ^b) /\ ((A ^i) `) is Element of bool the carrier of FMT

B is set

C is Element of the carrier of FMT

U_FT C is Element of bool the carrier of FMT

(A `) ^b is Element of bool the carrier of FMT

{ b

((A `) ^b) ` is Element of bool the carrier of FMT

the carrier of FMT \ ((A `) ^b) is set

(((A `) ^b) `) ` is Element of bool the carrier of FMT

the carrier of FMT \ (((A `) ^b) `) is set

(A `) ^b is Element of bool the carrier of FMT

{ b

((A `) ^b) ` is Element of bool the carrier of FMT

the carrier of FMT \ ((A `) ^b) is set

(((A `) ^b) `) ` is Element of bool the carrier of FMT

the carrier of FMT \ (((A `) ^b) `) is set

C is Element of the carrier of FMT

U_FT C is Element of bool the carrier of FMT

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

A ^delta is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

A ^b is Element of bool the carrier of FMT

{ b

A ^i is Element of bool the carrier of FMT

{ b

(A ^b) \ (A ^i) is Element of bool the carrier of FMT

B is set

(A ^i) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A ^i) is set

(A ^b) /\ ((A ^i) `) is Element of bool the carrier of FMT

(A ^i) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A ^i) is set

(A ^b) /\ ((A ^i) `) is Element of bool the carrier of FMT

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

(A `) ^i is Element of bool the carrier of FMT

{ b

(A `) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A `) is set

((A `) `) ^b is Element of bool the carrier of FMT

{ b

(((A `) `) ^b) ` is Element of bool the carrier of FMT

the carrier of FMT \ (((A `) `) ^b) is set

A ^b is Element of bool the carrier of FMT

{ b

(A ^b) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A ^b) is set

((A ^b) `) ` is Element of bool the carrier of FMT

the carrier of FMT \ ((A ^b) `) is set

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

(A `) ^b is Element of bool the carrier of FMT

{ b

(A `) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A `) is set

((A `) `) ^i is Element of bool the carrier of FMT

{ b

(((A `) `) ^i) ` is Element of bool the carrier of FMT

the carrier of FMT \ (((A `) `) ^i) is set

A ^i is Element of bool the carrier of FMT

{ b

(A ^i) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A ^i) is set

((A ^i) `) ` is Element of bool the carrier of FMT

the carrier of FMT \ ((A ^i) `) is set

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

B is Element of the carrier of FMT

A is Element of the carrier of FMT

U_FT A is Element of bool the carrier of FMT

C is Element of bool the carrier of FMT

TRUE is Element of BOOLEAN

FALSE is Element of BOOLEAN

K136() is empty Element of K135()

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

B is Element of the carrier of FMT

A is Element of the carrier of FMT

U_FT A is Element of bool the carrier of FMT

C is Element of bool the carrier of FMT

C ` is Element of bool the carrier of FMT

the carrier of FMT \ C is set

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

y is non empty RelStr

the carrier of y is non empty set

bool the carrier of y is non empty set

A is Element of the carrier of FMT

B is Element of the carrier of FMT

C is Element of bool the carrier of FMT

(FMT,A,B,C) is Element of BOOLEAN

U_FT A is Element of bool the carrier of FMT

W is Element of the carrier of y

z is Element of the carrier of y

U_FT z is Element of bool the carrier of y

c

(y,z,W,c

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

y is non empty RelStr

the carrier of y is non empty set

bool the carrier of y is non empty set

A is Element of the carrier of FMT

B is Element of the carrier of FMT

C is Element of bool the carrier of FMT

(FMT,A,B,C) is Element of BOOLEAN

U_FT A is Element of bool the carrier of FMT

C ` is Element of bool the carrier of FMT

the carrier of FMT \ C is set

W is Element of the carrier of y

z is Element of the carrier of y

U_FT z is Element of bool the carrier of y

c

c

the carrier of y \ c

(y,z,W,c

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

B ^delta is Element of bool the carrier of FMT

B ` is Element of bool the carrier of FMT

the carrier of FMT \ B is set

{ b

C is Element of the carrier of FMT

U_FT C is Element of bool the carrier of FMT

y is set

z is Element of the carrier of FMT

(FMT,A,z,B) is Element of BOOLEAN

W is set

(FMT,A,W,B) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

U_FT A is Element of bool the carrier of FMT

(U_FT A) /\ B is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

z is Element of the carrier of FMT

(FMT,A,z,B) is Element of BOOLEAN

W is Element of the carrier of FMT

(FMT,A,W,B) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

B is Element of the carrier of FMT

A is Element of the carrier of FMT

U_FT A is Element of bool the carrier of FMT

bool the carrier of FMT is non empty set

FMT is non empty RelStr

the carrier of FMT is non empty set

C is non empty RelStr

the carrier of C is non empty set

A is Element of the carrier of FMT

B is Element of the carrier of FMT

(FMT,A,B) is Element of BOOLEAN

U_FT A is Element of bool the carrier of FMT

bool the carrier of FMT is non empty set

z is Element of the carrier of C

y is Element of the carrier of C

U_FT y is Element of bool the carrier of C

bool the carrier of C is non empty set

(C,y,z) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

B ^i is Element of bool the carrier of FMT

{ b

U_FT A is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,A,C) is Element of BOOLEAN

(FMT,A,C,B) is Element of BOOLEAN

C is Element of the carrier of FMT

U_FT A is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,A,C) is Element of BOOLEAN

(FMT,A,C,B) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C) is Element of BOOLEAN

(FMT,A,C,B) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y) is Element of BOOLEAN

(FMT,A,y,B) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

B ^b is Element of bool the carrier of FMT

{ b

C is Element of the carrier of FMT

U_FT C is Element of bool the carrier of FMT

y is set

z is Element of the carrier of FMT

(FMT,A,z,B) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

U_FT A is Element of bool the carrier of FMT

(U_FT A) /\ B is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

C is non empty RelStr

the carrier of C is non empty set

bool the carrier of C is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

(FMT,A,B) is Element of BOOLEAN

y is Element of the carrier of C

z is Element of bool the carrier of C

(C,y,z) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

B ^deltai is Element of bool the carrier of FMT

B ^delta is Element of bool the carrier of FMT

B ` is Element of bool the carrier of FMT

the carrier of FMT \ B is set

{ b

B /\ (B ^delta) is Element of bool the carrier of FMT

(FMT,A,B) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

z is Element of the carrier of FMT

(FMT,A,z,B) is Element of BOOLEAN

W is Element of the carrier of FMT

(FMT,A,W,B) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

B ^deltao is Element of bool the carrier of FMT

B ` is Element of bool the carrier of FMT

the carrier of FMT \ B is set

B ^delta is Element of bool the carrier of FMT

{ b

(B `) /\ (B ^delta) is Element of bool the carrier of FMT

(FMT,A,B) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

z is Element of the carrier of FMT

(FMT,A,z,B) is Element of BOOLEAN

W is Element of the carrier of FMT

(FMT,A,W,B) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of the carrier of FMT

FMT is non empty RelStr

the carrier of FMT is non empty set

C is non empty RelStr

the carrier of C is non empty set

A is Element of the carrier of FMT

B is Element of the carrier of FMT

(FMT,A,B) is Element of BOOLEAN

y is Element of the carrier of C

z is Element of the carrier of C

(C,y,z) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

B ^s is Element of bool the carrier of FMT

{ b

(FMT,A,B) is Element of BOOLEAN

U_FT A is Element of bool the carrier of FMT

{A} is non empty Element of bool the carrier of FMT

(U_FT A) \ {A} is Element of bool the carrier of FMT

((U_FT A) \ {A}) /\ B is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

(FMT,A,C) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

(FMT,A,C) is Element of BOOLEAN

U_FT A is Element of bool the carrier of FMT

{A} is non empty Element of bool the carrier of FMT

(U_FT A) \ {A} is Element of bool the carrier of FMT

((U_FT A) \ {A}) /\ B is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

(FMT,A,C) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

(FMT,A,C) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

(FMT,A,y) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

B ^n is Element of bool the carrier of FMT

B ^s is Element of bool the carrier of FMT

{ b

B \ (B ^s) is Element of bool the carrier of FMT

(FMT,A,B) is Element of BOOLEAN

U_FT A is Element of bool the carrier of FMT

{A} is non empty Element of bool the carrier of FMT

(U_FT A) \ {A} is Element of bool the carrier of FMT

((U_FT A) \ {A}) /\ B is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,A,C) is Element of BOOLEAN

(FMT,A,C,B) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

(FMT,A,C) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

(FMT,A,C) is Element of BOOLEAN

{A} is non empty Element of bool the carrier of FMT

U_FT A is Element of bool the carrier of FMT

(U_FT A) \ {A} is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,A,C,B) is Element of BOOLEAN

(FMT,A,C) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,A,y,B) is Element of BOOLEAN

(FMT,A,y) is Element of BOOLEAN

FMT is non empty RelStr

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

B is Element of bool the carrier of FMT

B ^f is Element of bool the carrier of FMT

{ b

( b

C is Element of the carrier of FMT

(FMT,C,B) is Element of BOOLEAN

(FMT,C,A) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,C,B) is Element of BOOLEAN

(FMT,C,A) is Element of BOOLEAN

U_FT C is Element of bool the carrier of FMT

C is Element of the carrier of FMT

U_FT C is Element of bool the carrier of FMT

(FMT,C,B) is Element of BOOLEAN

(FMT,C,A) is Element of BOOLEAN

C is Element of the carrier of FMT

(FMT,C,B) is Element of BOOLEAN

(FMT,C,A) is Element of BOOLEAN

y is Element of the carrier of FMT

(FMT,y,B) is Element of BOOLEAN

(FMT,y,A) is Element of BOOLEAN

the non empty set is non empty set

bool the non empty set is non empty set

bool (bool the non empty set ) is non empty set

[: the non empty set ,(bool (bool the non empty set )):] is non empty set

bool [: the non empty set ,(bool (bool the non empty set )):] is non empty set

the V7() V10( the non empty set ) V11( bool (bool the non empty set )) Function-like V18( the non empty set , bool (bool the non empty set )) Element of bool [: the non empty set ,(bool (bool the non empty set )):] is V7() V10( the non empty set ) V11( bool (bool the non empty set )) Function-like V18( the non empty set , bool (bool the non empty set )) Element of bool [: the non empty set ,(bool (bool the non empty set )):]

( the non empty set , the V7() V10( the non empty set ) V11( bool (bool the non empty set )) Function-like V18( the non empty set , bool (bool the non empty set )) Element of bool [: the non empty set ,(bool (bool the non empty set )):]) is () ()

the carrier of ( the non empty set , the V7() V10( the non empty set ) V11( bool (bool the non empty set )) Function-like V18( the non empty set , bool (bool the non empty set )) Element of bool [: the non empty set ,(bool (bool the non empty set )):]) is set

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

A is Element of the carrier of FMT

the of FMT . A is Element of bool (bool the carrier of FMT)

FMT is non empty TopStruct

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

the topology of FMT is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

{ b

A is Element of the carrier of FMT

{ b

B is set

C is Element of bool the carrier of FMT

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

A is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

( the carrier of FMT,A) is () ()

B is non empty () ()

the carrier of B is non empty set

C is Element of the carrier of B

(B,C) is Element of bool (bool the carrier of B)

bool the carrier of B is non empty set

bool (bool the carrier of B) is non empty set

the of B is V7() V10( the carrier of B) V11( bool (bool the carrier of B)) Function-like V18( the carrier of B, bool (bool the carrier of B)) Element of bool [: the carrier of B,(bool (bool the carrier of B)):]

[: the carrier of B,(bool (bool the carrier of B)):] is non empty set

bool [: the carrier of B,(bool (bool the carrier of B)):] is non empty set

the of B . C is Element of bool (bool the carrier of B)

{ b

A is non empty () ()

the carrier of A is non empty set

A is non empty () ()

the carrier of A is non empty set

B is non empty () ()

the carrier of B is non empty set

bool the carrier of B is non empty set

bool (bool the carrier of B) is non empty set

the of B is V7() V10( the carrier of B) V11( bool (bool the carrier of B)) Function-like V18( the carrier of B, bool (bool the carrier of B)) Element of bool [: the carrier of B,(bool (bool the carrier of B)):]

[: the carrier of B,(bool (bool the carrier of B)):] is non empty set

bool [: the carrier of B,(bool (bool the carrier of B)):] is non empty set

C is Element of the carrier of B

the of B . C is Element of bool (bool the carrier of B)

{ b

(B,C) is Element of bool (bool the carrier of B)

bool the carrier of A is non empty set

bool (bool the carrier of A) is non empty set

the of A is V7() V10( the carrier of A) V11( bool (bool the carrier of A)) Function-like V18( the carrier of A, bool (bool the carrier of A)) Element of bool [: the carrier of A,(bool (bool the carrier of A)):]

[: the carrier of A,(bool (bool the carrier of A)):] is non empty set

bool [: the carrier of A,(bool (bool the carrier of A)):] is non empty set

C is Element of the carrier of A

the of A . C is Element of bool (bool the carrier of A)

{ b

(A,C) is Element of bool (bool the carrier of A)

C is Element of the carrier of A

the of A . C is Element of bool (bool the carrier of A)

{ b

the of B . C is set

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

( not b

{ b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

B ` is Element of bool the carrier of FMT

the carrier of FMT \ B is set

{ b

( not b

C is Element of bool the carrier of FMT

y is Element of the carrier of FMT

(FMT,y) is Element of bool (bool the carrier of FMT)

the of FMT . y is Element of bool (bool the carrier of FMT)

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

{ b

( not b

{ b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( not b

C is Element of bool the carrier of FMT

y is Element of the carrier of FMT

(FMT,y) is Element of bool (bool the carrier of FMT)

the of FMT . y is Element of bool (bool the carrier of FMT)

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

{ b

( b

{ b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

C is Element of the carrier of FMT

y is Element of bool the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

the of FMT . C is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

{ b

( b

{ b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

{A} is non empty Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

C is Element of the carrier of FMT

y is Element of bool the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

the of FMT . C is Element of bool (bool the carrier of FMT)

{C} is non empty Element of bool the carrier of FMT

y \ {C} is Element of bool the carrier of FMT

C is Element of bool the carrier of FMT

C \ {A} is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

A \ (FMT,A) is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

{A} is non empty Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

B \ (FMT,B) is Element of bool the carrier of FMT

C is Element of bool the carrier of FMT

C \ {A} is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

(FMT,B) is Element of bool the carrier of FMT

{ b

( not b

C is set

y is Element of the carrier of FMT

(FMT,y) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . y is Element of bool (bool the carrier of FMT)

z is Element of bool the carrier of FMT

z /\ B is Element of bool the carrier of FMT

W is set

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

C is set

y is Element of the carrier of FMT

(FMT,y) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . y is Element of bool (bool the carrier of FMT)

z is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) \/ (FMT,B) is Element of bool the carrier of FMT

A \/ B is Element of bool the carrier of FMT

(FMT,(A \/ B)) is Element of bool the carrier of FMT

{ b

( not b

C is set

B \/ A is Element of bool the carrier of FMT

(FMT,(B \/ A)) is Element of bool the carrier of FMT

{ b

( not b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

B is Element of bool the carrier of FMT

A /\ B is Element of bool the carrier of FMT

(FMT,(A /\ B)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,B) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) /\ (FMT,B) is Element of bool the carrier of FMT

C is set

B /\ A is Element of bool the carrier of FMT

(FMT,(B /\ A)) is Element of bool the carrier of FMT

{ b

( not b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

(FMT,A) \/ (FMT,B) is Element of bool the carrier of FMT

A \/ B is Element of bool the carrier of FMT

(FMT,(A \/ B)) is Element of bool the carrier of FMT

{ b

( b

C is set

B \/ A is Element of bool the carrier of FMT

(FMT,(B \/ A)) is Element of bool the carrier of FMT

{ b

( b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

B is Element of bool the carrier of FMT

A /\ B is Element of bool the carrier of FMT

(FMT,(A /\ B)) is Element of bool the carrier of FMT

{ b

( b

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

(FMT,A) /\ (FMT,B) is Element of bool the carrier of FMT

C is set

B /\ A is Element of bool the carrier of FMT

(FMT,(B /\ A)) is Element of bool the carrier of FMT

{ b

( b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

A \/ B is Element of bool the carrier of FMT

(FMT,(A \/ B)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

(FMT,B) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) \/ (FMT,B) is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

y /\ (A \/ B) is Element of bool the carrier of FMT

y /\ A is Element of bool the carrier of FMT

y /\ B is Element of bool the carrier of FMT

(y /\ A) \/ (y /\ B) is Element of bool the carrier of FMT

y is Element of bool the carrier of FMT

z is Element of bool the carrier of FMT

y /\ z is Element of bool the carrier of FMT

W is Element of bool the carrier of FMT

W /\ A is Element of bool the carrier of FMT

y /\ A is Element of bool the carrier of FMT

W /\ B is Element of bool the carrier of FMT

z /\ B is Element of bool the carrier of FMT

c

c

y is Element of bool the carrier of FMT

z is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

B /\ C is Element of bool the carrier of FMT

C ` is Element of bool the carrier of FMT

the carrier of FMT \ C is set

(FMT,(C `)) is Element of bool the carrier of FMT

{ b

( not b

B ` is Element of bool the carrier of FMT

the carrier of FMT \ B is set

(FMT,(B `)) is Element of bool the carrier of FMT

{ b

( not b

(B `) \/ (C `) is Element of bool the carrier of FMT

(FMT,((B `) \/ (C `))) is Element of bool the carrier of FMT

{ b

( not b

(FMT,(B `)) \/ (FMT,(C `)) is Element of bool the carrier of FMT

y is Element of bool the carrier of FMT

(B /\ C) ` is Element of bool the carrier of FMT

the carrier of FMT \ (B /\ C) is set

y /\ ((B /\ C) `) is Element of bool the carrier of FMT

y \ (B /\ C) is Element of bool the carrier of FMT

y /\ ((B `) \/ (C `)) is Element of bool the carrier of FMT

A is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

A \/ B is Element of bool the carrier of FMT

(FMT,(A \/ B)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

(FMT,B) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) \/ (FMT,B) is Element of bool the carrier of FMT

y is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

z is Element of bool the carrier of FMT

y /\ z is Element of bool the carrier of FMT

W is Element of bool the carrier of FMT

c

W \/ c

(FMT,(W \/ c

{ b

( not b

(FMT,W) is Element of bool the carrier of FMT

{ b

( not b

(FMT,c

{ b

( not b

(FMT,W) \/ (FMT,c

c

c

(FMT,c

the of FMT . c

c

c

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

(FMT,A) /\ (FMT,B) is Element of bool the carrier of FMT

A /\ B is Element of bool the carrier of FMT

(FMT,(A /\ B)) is Element of bool the carrier of FMT

{ b

( b

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

z is Element of bool the carrier of FMT

y is Element of bool the carrier of FMT

z is Element of bool the carrier of FMT

y /\ z is Element of bool the carrier of FMT

W is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

B /\ C is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

(FMT,C) is Element of bool the carrier of FMT

{ b

( b

(FMT,B) /\ (FMT,C) is Element of bool the carrier of FMT

(FMT,(B /\ C)) is Element of bool the carrier of FMT

{ b

( b

B is Element of bool the carrier of FMT

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

B /\ C is Element of bool the carrier of FMT

y is Element of bool the carrier of FMT

(FMT,y) is Element of bool the carrier of FMT

{ b

( b

z is Element of bool the carrier of FMT

(FMT,z) is Element of bool the carrier of FMT

{ b

( b

(FMT,y) /\ (FMT,z) is Element of bool the carrier of FMT

y /\ z is Element of bool the carrier of FMT

(FMT,(y /\ z)) is Element of bool the carrier of FMT

{ b

( b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

A \/ B is Element of bool the carrier of FMT

(FMT,(A \/ B)) is Element of bool the carrier of FMT

(A \/ B) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A \/ B) is set

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

( not b

(FMT,B) is Element of bool the carrier of FMT

B ` is Element of bool the carrier of FMT

the carrier of FMT \ B is set

{ b

( not b

(FMT,A) \/ (FMT,B) is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

y /\ ((A \/ B) `) is Element of bool the carrier of FMT

(A `) /\ (B `) is Element of bool the carrier of FMT

y /\ ((A `) /\ (B `)) is Element of bool the carrier of FMT

y /\ (A `) is Element of bool the carrier of FMT

(y /\ (A `)) /\ (B `) is Element of bool the carrier of FMT

y /\ (B `) is Element of bool the carrier of FMT

(y /\ (B `)) /\ (A `) is Element of bool the carrier of FMT

y /\ (A \/ B) is Element of bool the carrier of FMT

y /\ A is Element of bool the carrier of FMT

y /\ B is Element of bool the carrier of FMT

(y /\ A) \/ (y /\ B) is Element of bool the carrier of FMT

z is set

W is set

y is Element of bool the carrier of FMT

z is Element of bool the carrier of FMT

y /\ z is Element of bool the carrier of FMT

W is Element of bool the carrier of FMT

W /\ B is Element of bool the carrier of FMT

z /\ B is Element of bool the carrier of FMT

W /\ (B `) is Element of bool the carrier of FMT

z /\ (B `) is Element of bool the carrier of FMT

W /\ A is Element of bool the carrier of FMT

y /\ A is Element of bool the carrier of FMT

W /\ (A `) is Element of bool the carrier of FMT

y /\ (A `) is Element of bool the carrier of FMT

c

c

c

c

y is Element of bool the carrier of FMT

z is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

B is Element of bool the carrier of FMT

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

B /\ C is Element of bool the carrier of FMT

B ` is Element of bool the carrier of FMT

the carrier of FMT \ B is set

(FMT,(B `)) is Element of bool the carrier of FMT

(B `) ` is Element of bool the carrier of FMT

the carrier of FMT \ (B `) is set

{ b

( not b

C ` is Element of bool the carrier of FMT

the carrier of FMT \ C is set

(B `) \/ (C `) is Element of bool the carrier of FMT

(FMT,((B `) \/ (C `))) is Element of bool the carrier of FMT

((B `) \/ (C `)) ` is Element of bool the carrier of FMT

the carrier of FMT \ ((B `) \/ (C `)) is set

{ b

( not b

(FMT,(C `)) is Element of bool the carrier of FMT

(C `) ` is Element of bool the carrier of FMT

the carrier of FMT \ (C `) is set

{ b

( not b

(FMT,(B `)) \/ (FMT,(C `)) is Element of bool the carrier of FMT

y is Element of bool the carrier of FMT

(B /\ C) ` is Element of bool the carrier of FMT

the carrier of FMT \ (B /\ C) is set

y /\ ((B /\ C) `) is Element of bool the carrier of FMT

y \ (B /\ C) is Element of bool the carrier of FMT

((B /\ C) `) ` is Element of bool the carrier of FMT

the carrier of FMT \ ((B /\ C) `) is set

y /\ (((B /\ C) `) `) is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

B /\ C is Element of bool the carrier of FMT

y is Element of bool the carrier of FMT

z is Element of bool the carrier of FMT

y \/ z is Element of bool the carrier of FMT

(FMT,(y \/ z)) is Element of bool the carrier of FMT

(y \/ z) ` is Element of bool the carrier of FMT

the carrier of FMT \ (y \/ z) is set

{ b

( not b

(FMT,y) is Element of bool the carrier of FMT

y ` is Element of bool the carrier of FMT

the carrier of FMT \ y is set

{ b

( not b

(FMT,z) is Element of bool the carrier of FMT

z ` is Element of bool the carrier of FMT

the carrier of FMT \ z is set

{ b

( not b

(FMT,y) \/ (FMT,z) is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of the carrier of FMT

{A} is non empty Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

B \ {A} is Element of bool the carrier of FMT

(FMT,(B \ {A})) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

{A} ` is Element of bool the carrier of FMT

the carrier of FMT \ {A} is set

B /\ ({A} `) is Element of bool the carrier of FMT

C /\ (B /\ ({A} `)) is Element of bool the carrier of FMT

C /\ ({A} `) is Element of bool the carrier of FMT

(C /\ ({A} `)) /\ B is Element of bool the carrier of FMT

C \ {A} is Element of bool the carrier of FMT

(C \ {A}) /\ B is Element of bool the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

C \ {A} is Element of bool the carrier of FMT

{A} ` is Element of bool the carrier of FMT

the carrier of FMT \ {A} is set

C /\ ({A} `) is Element of bool the carrier of FMT

(C /\ ({A} `)) /\ B is Element of bool the carrier of FMT

({A} `) /\ B is Element of bool the carrier of FMT

C /\ (({A} `) /\ B) is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

B is Element of bool the carrier of FMT

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

{A} is non empty Element of bool the carrier of FMT

C is set

(FMT,{A}) is Element of bool the carrier of FMT

{ b

( not b

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

B is set

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( not b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

B is set

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

B is Element of bool the carrier of FMT

A is Element of the carrier of FMT

(FMT,A) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . A is Element of bool (bool the carrier of FMT)

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

B is Element of bool the carrier of FMT

(FMT,B) is Element of bool the carrier of FMT

{ b

( b

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

(FMT,(A `)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,(A `)) ` is Element of bool the carrier of FMT

the carrier of FMT \ (FMT,(A `)) is set

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

B is set

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

y /\ (A `) is Element of bool the carrier of FMT

y \ A is Element of bool the carrier of FMT

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

y \ A is Element of bool the carrier of FMT

y /\ (A `) is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

(FMT,(A `)) is Element of bool the carrier of FMT

{ b

( b

(FMT,(A `)) ` is Element of bool the carrier of FMT

the carrier of FMT \ (FMT,(A `)) is set

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

B is set

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

z is set

C is Element of the carrier of FMT

(FMT,C) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . C is Element of bool (bool the carrier of FMT)

y is Element of bool the carrier of FMT

z is set

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

(FMT,(A `)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) /\ (FMT,(A `)) is Element of bool the carrier of FMT

B is Element of the carrier of FMT

(FMT,B) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . B is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

C is Element of bool the carrier of FMT

(FMT,B) is Element of bool (bool the carrier of FMT)

bool (bool the carrier of FMT) is non empty set

the of FMT is V7() V10( the carrier of FMT) V11( bool (bool the carrier of FMT)) Function-like V18( the carrier of FMT, bool (bool the carrier of FMT)) Element of bool [: the carrier of FMT,(bool (bool the carrier of FMT)):]

[: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

bool [: the carrier of FMT,(bool (bool the carrier of FMT)):] is non empty set

the of FMT . B is Element of bool (bool the carrier of FMT)

C is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

(FMT,A) ` is Element of bool the carrier of FMT

the carrier of FMT \ (FMT,A) is set

(FMT,A) /\ ((FMT,A) `) is Element of bool the carrier of FMT

(FMT,(A `)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,(A `)) ` is Element of bool the carrier of FMT

the carrier of FMT \ (FMT,(A `)) is set

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

( not b

(FMT,(A `)) is Element of bool the carrier of FMT

(A `) ` is Element of bool the carrier of FMT

the carrier of FMT \ (A `) is set

{ b

( not b

(FMT,((A `) `)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,(A `)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,((A `) `)) /\ (FMT,(A `)) is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

{ b

( b

(FMT,A) \ (FMT,A) is Element of bool the carrier of FMT

B is set

(FMT,(A `)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,(A `)) ` is Element of bool the carrier of FMT

the carrier of FMT \ (FMT,(A `)) is set

((FMT,(A `)) `) ` is Element of bool the carrier of FMT

the carrier of FMT \ ((FMT,(A `)) `) is set

(FMT,A) /\ (((FMT,(A `)) `) `) is Element of bool the carrier of FMT

(FMT,A) ` is Element of bool the carrier of FMT

the carrier of FMT \ (FMT,A) is set

(FMT,A) /\ ((FMT,A) `) is Element of bool the carrier of FMT

(FMT,A) ` is Element of bool the carrier of FMT

the carrier of FMT \ (FMT,A) is set

(FMT,A) /\ ((FMT,A) `) is Element of bool the carrier of FMT

(FMT,(A `)) is Element of bool the carrier of FMT

{ b

( not b

(FMT,(A `)) ` is Element of bool the carrier of FMT

the carrier of FMT \ (FMT,(A `)) is set

((FMT,(A `)) `) ` is Element of bool the carrier of FMT

the carrier of FMT \ ((FMT,(A `)) `) is set

(FMT,A) /\ (((FMT,(A `)) `) `) is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

( not b

A /\ (FMT,A) is Element of bool the carrier of FMT

(A `) /\ (FMT,A) is Element of bool the carrier of FMT

FMT is non empty ()

the carrier of FMT is non empty set

bool the carrier of FMT is non empty set

A is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

A ` is Element of bool the carrier of FMT

the carrier of FMT \ A is set

{ b

( not b

(FMT,A) is Element of bool the carrier of FMT

A /\ (FMT,A) is Element of bool the carrier of FMT

(FMT,A) is Element of bool the carrier of FMT

(A `) /\ (FMT,A) is Element