:: SETFAM_1 semantic presentation

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
() \/ () is set
bool (() \/ ()) 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
() /\ () is set
bool (() /\ ()) 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 () 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 /\ () 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 \ () 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
() /\ () 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
() \/ () is set
(() \/ ()) /\ a0 is set
() /\ a0 is set
() /\ a0 is set
(() /\ a0) \/ (() /\ 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