:: SETFAM_1 semantic presentation

{} is empty set

the empty set is empty set

A is set

union A is set

b is set

the Element of A is Element of A

a is set

a0 is set

a is set

E is set

b is set

a0 is set

a is set

E is set

E is set

a is set

E is set

F is set

G is set

H is set

I is set

({}) is set

A is set

(A) is set

union A is set

the Element of A is Element of A

a0 is set

A is set

b is set

(b) is set

a0 is set

A is set

(A) is set

A is set

(A) is set

b is set

a0 is set

a is set

A is set

(A) is set

b is set

(b) is set

a0 is set

a is set

A is set

b is set

(b) is set

a0 is set

A is set

b is set

a0 is set

(b) is set

A is set

(A) is set

b is set

A \/ b is set

((A \/ b)) is set

(b) is set

(A) /\ (b) is set

a0 is set

a is set

A is set

{A} is non empty set

({A}) is set

b is set

a0 is set

A is set

b is set

{A,b} is non empty set

({A,b}) is set

A /\ b is set

a0 is set

a is set

a is set

a0 is set

a is set

a0 is set

A is set

b is set

a0 is set

A is set

union A is set

b is set

union b is set

a0 is set

a is set

E is set

A is set

(A) is set

b is set

(b) is set

a0 is set

a is set

E is set

A is set

b is set

A is set

the Element of A is Element of A

a0 is set

A is set

b is set

a0 is set

a is set

E is set

F is set

A is set

{A} is non empty set

b is set

a0 is set

a is set

A is set

b is set

{A,b} is non empty set

a0 is set

a is set

E is set

{A} is non empty set

{b} is non empty set

{A} \/ {b} is non empty set

A is set

b is set

union A is set

union b is set

(union A) \/ (union b) is set

bool ((union A) \/ (union b)) is non empty set

a0 is set

a is set

E is set

F is set

E \/ F is set

E is set

F is set

G is set

F \/ G is set

E is set

F is set

E \/ F is set

G is set

H is set

G \/ H is set

a is set

F is set

G is set

E is set

F \/ G is set

a0 is set

a is set

E is set

F is set

G is set

F \/ G is set

F is set

G is set

F \/ G is set

a0 is set

a is set

E is set

F is set

G is set

H is set

G \/ H is set

G is set

H is set

G \/ H is set

union A is set

union b is set

(union A) /\ (union b) is set

bool ((union A) /\ (union b)) is non empty set

a0 is set

a is set

E is set

F is set

E /\ F is set

E is set

F is set

G is set

F /\ G is set

E is set

F is set

E /\ F is set

G is set

H is set

G /\ H is set

a is set

F is set

G is set

E is set

F /\ G is set

a0 is set

a is set

E is set

F is set

G is set

F /\ G is set

F is set

G is set

F /\ G is set

a0 is set

a is set

E is set

F is set

G is set

H is set

G /\ H is set

G is set

H is set

G /\ H is set

union A is set

bool (union A) is non empty set

a0 is set

a is set

E is set

F is set

E \ F is Element of bool E

bool E is non empty set

E is set

F is set

G is set

F \ G is Element of bool F

bool F is non empty set

E is set

F is set

E \ F is Element of bool E

bool E is non empty set

G is set

H is set

G \ H is Element of bool G

bool G is non empty set

a is set

F is set

G is set

E is set

F \ G is Element of bool F

bool F is non empty set

a0 is set

a is set

E is set

F is set

G is set

F \ G is Element of bool F

bool F is non empty set

F is set

G is set

F \ G is Element of bool F

bool F is non empty set

A is set

(A,A) is set

b is set

b \/ b is set

A is set

(A,A) is set

b is set

a0 is set

a is set

a0 /\ a is set

A is set

(A,A) is set

b is set

a0 is set

a is set

a0 \ a is Element of bool a0

bool a0 is non empty set

A is set

(A) is set

b is set

(b) is set

(A) /\ (b) is set

(A,b) is set

((A,b)) is set

A /\ b is set

the Element of A /\ b is Element of A /\ b

a is set

E is set

the Element of A /\ b /\ E is set

E is set

E /\ the Element of A /\ b is set

the Element of A /\ b /\ the Element of A /\ b is set

a is set

E is set

F is set

G is set

F /\ G is set

A is set

{A} is non empty set

b is set

(b) is set

A \/ (b) is set

({A},b) is set

(({A},b)) is set

the Element of b is Element of b

A \/ the Element of b is set

a is set

E is set

F is set

G is set

F \/ G is set

a is set

E is set

A \/ E is set

A is set

{A} is non empty set

b is set

union b is set

A /\ (union b) is set

({A},b) is set

union ({A},b) is set

a0 is set

a is set

E is set

F is set

E /\ F is set

a0 is set

a is set

A /\ a is set

A is set

{A} is non empty set

b is set

union b is set

A \ (union b) is Element of bool A

bool A is non empty set

({A},b) is set

(({A},b)) is set

the Element of b is Element of b

A \ the Element of b is Element of bool A

a is set

E is set

A \ E is Element of bool A

E is set

a is set

E is set

F is set

G is set

F \ G is Element of bool F

bool F is non empty set

A is set

{A} is non empty set

b is set

(b) is set

A \ (b) is Element of bool A

bool A is non empty set

({A},b) is set

union ({A},b) is set

a0 is set

a is set

E is set

F is set

E \ F is Element of bool E

bool E is non empty set

a0 is set

a is set

A \ a is Element of bool A

A is set

union A is set

b is set

(A,b) is set

union (A,b) is set

union b is set

(union A) /\ (union b) is set

a0 is set

a is set

E is set

F is set

E /\ F is set

a0 is set

a is set

E is set

a /\ E is set

A is set

(A) is set

b is set

(b) is set

(A) \/ (b) is set

(A,b) is set

((A,b)) is set

the Element of A is Element of A

the Element of b is Element of b

the Element of A \/ the Element of b is set

E is set

F is set

G is set

H is set

G \/ H is set

A is set

(A) is set

b is set

(A,b) is set

((A,b)) is set

(b) is set

(A) \ (b) is Element of bool (A)

bool (A) is non empty set

a0 is set

a is set

E is set

a \ E is Element of bool a

bool a is non empty set

the Element of A is Element of A

the Element of b is Element of b

E is set

F is set

F \ the Element of b is Element of bool F

bool F is non empty set

the Element of A \ the Element of b is Element of bool the Element of A

bool the Element of A is non empty set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

union b is set

a0 is set

a is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

(b) is set

(A,b) is Element of bool A

a0 is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

a0 is Element of bool (bool A)

a is set

a is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

a0 is Element of bool (bool A)

a is Element of bool (bool A)

E is Element of bool A

E ` is Element of bool A

A \ E is set

a0 is Element of bool (bool A)

a is Element of bool (bool A)

E is Element of bool A

E ` is Element of bool A

A \ E is set

(E `) ` is Element of bool A

A \ (E `) is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

(A,b) is Element of bool (bool A)

the Element of b is Element of b

a is Element of bool A

a ` is Element of bool A

A \ a is set

(a `) ` is Element of bool A

A \ (a `) is set

A is set

bool A is non empty set

bool (bool A) is non empty set

[#] A is non proper Element of bool A

b is Element of bool (bool A)

(A,b) is Element of bool A

([#] A) \ (A,b) is Element of bool A

(A,b) is Element of bool (bool A)

(A,(A,b)) is Element of bool A

a0 is set

a is set

E is Element of bool A

E ` is Element of bool A

A \ E is set

a is set

E is Element of bool A

E ` is Element of bool A

A \ E is set

(E `) ` is Element of bool A

A \ (E `) is set

a0 is set

a is set

a is set

a0 is set

a is set

a is set

A is set

bool A is non empty set

bool (bool A) is non empty set

[#] A is non proper Element of bool A

b is Element of bool (bool A)

(A,b) is Element of bool (bool A)

(A,(A,b)) is Element of bool A

(A,b) is Element of bool A

([#] A) \ (A,b) is Element of bool A

a0 is set

a is set

E is Element of bool A

E ` is Element of bool A

A \ E is set

(E `) ` is Element of bool A

A \ (E `) is set

F is set

G is set

a0 is set

a is set

E is Element of bool A

E ` is Element of bool A

A \ E is set

F is set

G is set

G is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

(A,b) is Element of bool (bool A)

a0 is Element of bool A

a0 ` is Element of bool A

A \ a0 is set

(a0 `) ` is Element of bool A

A \ (a0 `) is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

(A,b) is Element of bool (bool A)

a0 is Element of bool (bool A)

(A,a0) is Element of bool (bool A)

a is set

E is Element of bool A

(A,(A,b)) is Element of bool (bool A)

E ` is Element of bool A

A \ E is set

(E `) ` is Element of bool A

A \ (E `) is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

(A,b) is Element of bool (bool A)

a0 is Element of bool (bool A)

(A,a0) is Element of bool (bool A)

(A,(A,a0)) is Element of bool (bool A)

(A,(A,b)) is Element of bool (bool A)

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

(A,b) is Element of bool (bool A)

a0 is Element of bool (bool A)

(A,a0) is Element of bool (bool A)

(A,(A,a0)) is Element of bool (bool A)

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

a0 is Element of bool (bool A)

b \/ a0 is Element of bool (bool A)

(A,(b \/ a0)) is Element of bool (bool A)

(A,b) is Element of bool (bool A)

(A,a0) is Element of bool (bool A)

(A,b) \/ (A,a0) is Element of bool (bool A)

a is Element of bool A

a ` is Element of bool A

A \ a is set

{{}} is non empty set

A is set

bool A is non empty set

bool (bool A) is non empty set

{A} is non empty set

b is Element of bool (bool A)

(A,b) is Element of bool (bool A)

a0 is Element of bool (bool A)

a is Element of bool (bool A)

E is Element of bool A

E ` is Element of bool A

A \ E is set

{} A is empty Element of bool A

[#] A is non proper Element of bool A

(E `) ` is Element of bool A

A \ (E `) is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is empty proper Element of bool (bool A)

(A,b) is Element of bool (bool A)

a0 is Element of bool A

{{{}}} is non empty set

A is non empty set

{A} is non empty set

b is non empty set

{A,b} is non empty set

a0 is non empty set

{A,b,a0} is non empty set

a is non empty set

{A,b,a0,a} is non empty set

E is non empty set

{A,b,a0,a,E} is non empty set

F is non empty set

{A,b,a0,a,E,F} is non empty set

G is non empty set

{A,b,a0,a,E,F,G} is non empty set

H is non empty set

{A,b,a0,a,E,F,G,H} is non empty set

I is non empty set

{A,b,a0,a,E,F,G,H,I} is non empty set

J is non empty set

{A,b,a0,a,E,F,G,H,I,J} is non empty set

A is () set

b is () set

A \/ b is set

A is set

union A is set

b is set

a0 is set

a is set

a0 is set

A is set

b is set

A \/ b is set

union (A \/ b) is set

union A is set

(union (A \/ b)) /\ a0 is set

union b is set

(union A) \/ (union b) is set

((union A) \/ (union b)) /\ a0 is set

(union A) /\ a0 is set

(union b) /\ a0 is set

((union A) /\ a0) \/ ((union b) /\ a0) is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

(A,b) is Element of bool A

A is set

bool A is non empty set

bool (bool A) is non empty set

b is set

a0 is Element of bool (bool A)

(A,a0) is Element of bool A

a is set

(A,a0) is Element of bool A

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

a0 is Element of bool (bool A)

(A,a0) is Element of bool A

(A,b) is Element of bool A

a is set

E is set

A is non empty () set

b is Element of A

{{{}}} is non empty () set

A is set

b is non empty set

A is non empty () set

b is non empty set

A is non empty () set

union A is set

the non empty Element of A is non empty Element of A

A is set

[#] A is non proper Element of bool A

bool A is non empty set

b is Element of A

a0 is non empty set

A is set

{A} is non empty set

union {A} is set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

(A,b) is Element of bool A

A is set

bool A is non empty set

bool (bool A) is non empty set

A is set

bool A is non empty set

bool (bool A) is non empty set

A is set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

a0 is Element of bool (bool A)

A is non empty set

bool A is non empty set

bool (bool A) is non empty set

b is Element of bool (bool A)

A is non empty set

bool A is non empty set

bool (bool A) is non empty set

b is (A) Element of bool (bool A)

a0 is (A) Element of bool (bool A)

b \/ a0 is Element of bool (bool A)

A is set

b is set

a0 is set

A is set

bool A is non empty set

bool (bool A) is non empty set

A is non empty set

b is set

{b} is non empty set

the Element of A is Element of A

a is set