:: WELLSET1 semantic presentation

N is set

field M is set
dom M is set
rng M is set
(dom M) \/ (rng M) is set
D is set
[N,D] is set
{N,D} is non empty set
{N} is non empty set
{{N,D},{N}} is non empty set
F is set
[F,N] is set
{F,N} is non empty set
{F} is non empty set
{{F,N},{F}} is non empty set
N is set
M is set
[:N,M:] is Relation-like set
N \/ M is set

field D is set
the Element of N is Element of N
the Element of M is Element of M
Z is set
H is set
[Z,H] is set
{Z,H} is non empty set
{Z} is non empty set
{{Z,H},{Z}} is non empty set
[H,Z] is set
{H,Z} is non empty set
{H} is non empty set
{{H,Z},{H}} is non empty set
Z is set
[Z, the Element of M] is set
{Z, the Element of M} is non empty set
{Z} is non empty set
{{Z, the Element of M},{Z}} is non empty set
[ the Element of N,Z] is set
{ the Element of N,Z} is non empty set
{ the Element of N} is non empty set
{{ the Element of N,Z},{ the Element of N}} is non empty set
F1() is set
N is set
M is set

D is set

N is set

D is set

N is set
M is set
[M,N] is set
{M,N} is non empty set
{M} is non empty set
{{M,N},{M}} is non empty set

field D is set
D -Seg M is set
Coim (D,M) is set
(Coim (D,M)) \ {M} is Element of bool (Coim (D,M))
bool (Coim (D,M)) is non empty set
[N,M] is set
{N,M} is non empty set
{N} is non empty set
{{N,M},{N}} is non empty set
N is set
M is set
[M,N] is set
{M,N} is non empty set
{M} is non empty set
{{M,N},{M}} is non empty set

field D is set
D -Seg M is set
Coim (D,M) is set
(Coim (D,M)) \ {M} is Element of bool (Coim (D,M))
bool (Coim (D,M)) is non empty set
[N,M] is set
{N,M} is non empty set
{N} is non empty set
{{N,M},{N}} is non empty set

M is set
union M is set
[:(),():] is Relation-like set
bool [:(),():] is non empty set
F is set

field Z is set
H is set
W0 is set
[H,W0] is set
{H,W0} is non empty set
{H} is non empty set
{{H,W0},{H}} is non empty set
[W0,H] is set
{W0,H} is non empty set
{W0} is non empty set
{{W0,H},{W0}} is non empty set
W0 is Relation-like set
H1 is Relation-like set
W0 is Relation-like set
field W0 is set
H is set

field H is set
W0 is Relation-like set
field W0 is set
W0 is set
H1 is set
H -Seg H1 is set
Coim (H,H1) is set
{H1} is non empty set
(Coim (H,H1)) \ {H1} is Element of bool (Coim (H,H1))
bool (Coim (H,H1)) is non empty set
W0 -Seg H1 is set
Coim (W0,H1) is set
(Coim (W0,H1)) \ {H1} is Element of bool (Coim (W0,H1))
bool (Coim (W0,H1)) is non empty set
S1 is set
H |_2 (H -Seg H1) is Relation-like set
[:(H -Seg H1),(H -Seg H1):] is Relation-like set
H /\ [:(H -Seg H1),(H -Seg H1):] is Relation-like set
field (H |_2 (H -Seg H1)) is set
W0 |_2 (W0 -Seg H1) is Relation-like set
[:(W0 -Seg H1),(W0 -Seg H1):] is Relation-like set
W0 /\ [:(W0 -Seg H1),(W0 -Seg H1):] is Relation-like set
field (W0 |_2 (W0 -Seg H1)) is set
H1 is set
H -Seg H1 is set
Coim (H,H1) is set
{H1} is non empty set
(Coim (H,H1)) \ {H1} is Element of bool (Coim (H,H1))
bool (Coim (H,H1)) is non empty set
S1 is set
W0 -Seg H1 is set
Coim (W0,H1) is set
(Coim (W0,H1)) \ {H1} is Element of bool (Coim (W0,H1))
bool (Coim (W0,H1)) is non empty set
[S1,H1] is set
{S1,H1} is non empty set
{S1} is non empty set
{{S1,H1},{S1}} is non empty set
H -Seg S1 is set
Coim (H,S1) is set
(Coim (H,S1)) \ {S1} is Element of bool (Coim (H,S1))
bool (Coim (H,S1)) is non empty set
H |_2 (H -Seg H1) is Relation-like set
[:(H -Seg H1),(H -Seg H1):] is Relation-like set
H /\ [:(H -Seg H1),(H -Seg H1):] is Relation-like set
(H |_2 (H -Seg H1)) -Seg S1 is set
Coim ((H |_2 (H -Seg H1)),S1) is set
(Coim ((H |_2 (H -Seg H1)),S1)) \ {S1} is Element of bool (Coim ((H |_2 (H -Seg H1)),S1))
bool (Coim ((H |_2 (H -Seg H1)),S1)) is non empty set
W0 |_2 (W0 -Seg H1) is Relation-like set
[:(W0 -Seg H1),(W0 -Seg H1):] is Relation-like set
W0 /\ [:(W0 -Seg H1),(W0 -Seg H1):] is Relation-like set
(W0 |_2 (W0 -Seg H1)) -Seg S1 is set
Coim ((W0 |_2 (W0 -Seg H1)),S1) is set
(Coim ((W0 |_2 (W0 -Seg H1)),S1)) \ {S1} is Element of bool (Coim ((W0 |_2 (W0 -Seg H1)),S1))
bool (Coim ((W0 |_2 (W0 -Seg H1)),S1)) is non empty set
W0 -Seg S1 is set
Coim (W0,S1) is set
(Coim (W0,S1)) \ {S1} is Element of bool (Coim (W0,S1))
bool (Coim (W0,S1)) is non empty set
H |_2 (H -Seg S1) is Relation-like set
[:(H -Seg S1),(H -Seg S1):] is Relation-like set
H /\ [:(H -Seg S1),(H -Seg S1):] is Relation-like set
(H |_2 (H -Seg H1)) |_2 (H -Seg S1) is Relation-like set
(H |_2 (H -Seg H1)) /\ [:(H -Seg S1),(H -Seg S1):] is Relation-like set
(W0 |_2 (W0 -Seg H1)) |_2 (W0 -Seg S1) is Relation-like set
[:(W0 -Seg S1),(W0 -Seg S1):] is Relation-like set
(W0 |_2 (W0 -Seg H1)) /\ [:(W0 -Seg S1),(W0 -Seg S1):] is Relation-like set
W0 |_2 (W0 -Seg S1) is Relation-like set
W0 /\ [:(W0 -Seg S1),(W0 -Seg S1):] is Relation-like set
H1 is set
() \ W0 is Element of bool ()
bool () is non empty set
W00 is set
W00 is set
H -Seg W00 is set
Coim (H,W00) is set
{W00} is non empty set
(Coim (H,W00)) \ {W00} is Element of bool (Coim (H,W00))
bool (Coim (H,W00)) is non empty set
a is set
[W00,a] is set
{W00,a} is non empty set
{{W00,a},{W00}} is non empty set
H -Seg a is set
Coim (H,a) is set
{a} is non empty set
(Coim (H,a)) \ {a} is Element of bool (Coim (H,a))
bool (Coim (H,a)) is non empty set
[a,W00] is set
{a,W00} is non empty set
{a} is non empty set
{{a,W00},{a}} is non empty set
[W00,a] is set
{W00,a} is non empty set
{{W00,a},{W00}} is non empty set
H1 is set
W0 -Seg H1 is set
Coim (W0,H1) is set
{H1} is non empty set
(Coim (W0,H1)) \ {H1} is Element of bool (Coim (W0,H1))
bool (Coim (W0,H1)) is non empty set
S1 is set
H -Seg H1 is set
Coim (H,H1) is set
(Coim (H,H1)) \ {H1} is Element of bool (Coim (H,H1))
bool (Coim (H,H1)) is non empty set
[S1,H1] is set
{S1,H1} is non empty set
{S1} is non empty set
{{S1,H1},{S1}} is non empty set
W0 -Seg S1 is set
Coim (W0,S1) is set
(Coim (W0,S1)) \ {S1} is Element of bool (Coim (W0,S1))
bool (Coim (W0,S1)) is non empty set
W0 |_2 (W0 -Seg H1) is Relation-like set
[:(W0 -Seg H1),(W0 -Seg H1):] is Relation-like set
W0 /\ [:(W0 -Seg H1),(W0 -Seg H1):] is Relation-like set
(W0 |_2 (W0 -Seg H1)) -Seg S1 is set
Coim ((W0 |_2 (W0 -Seg H1)),S1) is set
(Coim ((W0 |_2 (W0 -Seg H1)),S1)) \ {S1} is Element of bool (Coim ((W0 |_2 (W0 -Seg H1)),S1))
bool (Coim ((W0 |_2 (W0 -Seg H1)),S1)) is non empty set
H |_2 (H -Seg H1) is Relation-like set
[:(H -Seg H1),(H -Seg H1):] is Relation-like set
H /\ [:(H -Seg H1),(H -Seg H1):] is Relation-like set
(H |_2 (H -Seg H1)) -Seg S1 is set
Coim ((H |_2 (H -Seg H1)),S1) is set
(Coim ((H |_2 (H -Seg H1)),S1)) \ {S1} is Element of bool (Coim ((H |_2 (H -Seg H1)),S1))
bool (Coim ((H |_2 (H -Seg H1)),S1)) is non empty set
H -Seg S1 is set
Coim (H,S1) is set
(Coim (H,S1)) \ {S1} is Element of bool (Coim (H,S1))
bool (Coim (H,S1)) is non empty set
W0 |_2 (W0 -Seg S1) is Relation-like set
[:(W0 -Seg S1),(W0 -Seg S1):] is Relation-like set
W0 /\ [:(W0 -Seg S1),(W0 -Seg S1):] is Relation-like set
(W0 |_2 (W0 -Seg H1)) |_2 (W0 -Seg S1) is Relation-like set
(W0 |_2 (W0 -Seg H1)) /\ [:(W0 -Seg S1),(W0 -Seg S1):] is Relation-like set
(H |_2 (H -Seg H1)) |_2 (H -Seg S1) is Relation-like set
[:(H -Seg S1),(H -Seg S1):] is Relation-like set
(H |_2 (H -Seg H1)) /\ [:(H -Seg S1),(H -Seg S1):] is Relation-like set
H |_2 (H -Seg S1) is Relation-like set
H /\ [:(H -Seg S1),(H -Seg S1):] is Relation-like set
H1 is set
(field W0) \ W0 is Element of bool (field W0)
bool (field W0) is non empty set
W00 is set
W00 is set
W0 -Seg W00 is set
Coim (W0,W00) is set
{W00} is non empty set
(Coim (W0,W00)) \ {W00} is Element of bool (Coim (W0,W00))
bool (Coim (W0,W00)) is non empty set
a is set
[W00,a] is set
{W00,a} is non empty set
{{W00,a},{W00}} is non empty set
W0 -Seg a is set
Coim (W0,a) is set
{a} is non empty set
(Coim (W0,a)) \ {a} is Element of bool (Coim (W0,a))
bool (Coim (W0,a)) is non empty set
[a,W00] is set
{a,W00} is non empty set
{a} is non empty set
{{a,W00},{a}} is non empty set
[W00,a] is set
{W00,a} is non empty set
{{W00,a},{W00}} is non empty set
H1 is set
S1 is set
H1 is set
H -Seg H1 is set
Coim (H,H1) is set
{H1} is non empty set
(Coim (H,H1)) \ {H1} is Element of bool (Coim (H,H1))
bool (Coim (H,H1)) is non empty set
S1 is set
W00 is set
S1 is set
W0 -Seg S1 is set
Coim (W0,S1) is set
{S1} is non empty set
(Coim (W0,S1)) \ {S1} is Element of bool (Coim (W0,S1))
bool (Coim (W0,S1)) is non empty set
N . (W0 -Seg S1) is set
H |_2 (H -Seg H1) is Relation-like set
[:(H -Seg H1),(H -Seg H1):] is Relation-like set
H /\ [:(H -Seg H1),(H -Seg H1):] is Relation-like set
W0 -Seg H1 is set
Coim (W0,H1) is set
(Coim (W0,H1)) \ {H1} is Element of bool (Coim (W0,H1))
bool (Coim (W0,H1)) is non empty set
W0 |_2 (W0 -Seg H1) is Relation-like set
[:(W0 -Seg H1),(W0 -Seg H1):] is Relation-like set
W0 /\ [:(W0 -Seg H1),(W0 -Seg H1):] is Relation-like set
W00 is set
W00 is set
a is set
[W00,a] is set
{W00,a} is non empty set
{W00} is non empty set
{{W00,a},{W00}} is non empty set
H -Seg a is set
Coim (H,a) is set
{a} is non empty set
(Coim (H,a)) \ {a} is Element of bool (Coim (H,a))
bool (Coim (H,a)) is non empty set
W0 -Seg a is set
Coim (W0,a) is set
(Coim (W0,a)) \ {a} is Element of bool (Coim (W0,a))
bool (Coim (W0,a)) is non empty set
W00 is set
a is set
[W00,a] is set
{W00,a} is non empty set
{W00} is non empty set
{{W00,a},{W00}} is non empty set
W0 -Seg a is set
Coim (W0,a) is set
{a} is non empty set
(Coim (W0,a)) \ {a} is Element of bool (Coim (W0,a))
bool (Coim (W0,a)) is non empty set
H -Seg a is set
Coim (H,a) is set
(Coim (H,a)) \ {a} is Element of bool (Coim (H,a))
bool (Coim (H,a)) is non empty set
H1 is set
S1 is set
[H1,S1] is set
{H1,S1} is non empty set
{H1} is non empty set
{{H1,S1},{H1}} is non empty set
W0 -Seg S1 is set
Coim (W0,S1) is set
{S1} is non empty set
(Coim (W0,S1)) \ {S1} is Element of bool (Coim (W0,S1))
bool (Coim (W0,S1)) is non empty set
H -Seg S1 is set
Coim (H,S1) is set
(Coim (H,S1)) \ {S1} is Element of bool (Coim (H,S1))
bool (Coim (H,S1)) is non empty set
H1 is set
W0 -Seg H1 is set
Coim (W0,H1) is set
{H1} is non empty set
(Coim (W0,H1)) \ {H1} is Element of bool (Coim (W0,H1))
bool (Coim (W0,H1)) is non empty set
H -Seg H1 is set
Coim (H,H1) is set
(Coim (H,H1)) \ {H1} is Element of bool (Coim (H,H1))
bool (Coim (H,H1)) is non empty set
H1 is set
S1 is set
[H1,S1] is set
{H1,S1} is non empty set
{H1} is non empty set
{{H1,S1},{H1}} is non empty set
H -Seg S1 is set
Coim (H,S1) is set
{S1} is non empty set
(Coim (H,S1)) \ {S1} is Element of bool (Coim (H,S1))
bool (Coim (H,S1)) is non empty set
W0 -Seg S1 is set
Coim (W0,S1) is set
(Coim (W0,S1)) \ {S1} is Element of bool (Coim (W0,S1))
bool (Coim (W0,S1)) is non empty set
H1 is set
H -Seg H1 is set
Coim (H,H1) is set
{H1} is non empty set
(Coim (H,H1)) \ {H1} is Element of bool (Coim (H,H1))
bool (Coim (H,H1)) is non empty set
W0 -Seg H1 is set
Coim (W0,H1) is set
(Coim (W0,H1)) \ {H1} is Element of bool (Coim (W0,H1))
bool (Coim (W0,H1)) is non empty set
H1 is set
H -Seg H1 is set
Coim (H,H1) is set
{H1} is non empty set
(Coim (H,H1)) \ {H1} is Element of bool (Coim (H,H1))
bool (Coim (H,H1)) is non empty set
W0 -Seg H1 is set
Coim (W0,H1) is set
(Coim (W0,H1)) \ {H1} is Element of bool (Coim (W0,H1))
bool (Coim (W0,H1)) is non empty set
S1 is set
W0 -Seg S1 is set
Coim (W0,S1) is set
{S1} is non empty set
(Coim (W0,S1)) \ {S1} is Element of bool (Coim (W0,S1))
bool (Coim (W0,S1)) is non empty set
H -Seg S1 is set
Coim (H,S1) is set
(Coim (H,S1)) \ {S1} is Element of bool (Coim (H,S1))
bool (Coim (H,S1)) is non empty set
H is set
W0 is set
[H,W0] is set
{H,W0} is non empty set
{H} is non empty set
{{H,W0},{H}} is non empty set
[W0,H] is set
{W0,H} is non empty set
{W0} is non empty set
{{W0,H},{W0}} is non empty set
W0 is Relation-like set
H1 is Relation-like set
field W0 is set
field H1 is set

field H is set
W0 is set
W0 is set
[W0,W0] is set
{W0,W0} is non empty set
{W0} is non empty set
{{W0,W0},{W0}} is non empty set
[W0,W0] is set
{W0,W0} is non empty set
{W0} is non empty set
{{W0,W0},{W0}} is non empty set
H1 is set
S1 is set
[H1,S1] is set
{H1,S1} is non empty set
{H1} is non empty set
{{H1,S1},{H1}} is non empty set
H1 is set
S1 is set
[H1,S1] is set
{H1,S1} is non empty set
{H1} is non empty set
{{H1,S1},{H1}} is non empty set
H is set
Z -Seg H is set
Coim (Z,H) is set
{H} is non empty set
(Coim (Z,H)) \ {H} is Element of bool (Coim (Z,H))
bool (Coim (Z,H)) is non empty set
N . (Z -Seg H) is set
W0 is Relation-like set
field W0 is set
W0 -Seg H is set
Coim (W0,H) is set
(Coim (W0,H)) \ {H} is Element of bool (Coim (W0,H))
bool (Coim (W0,H)) is non empty set
W0 is set
[W0,H] is set
{W0,H} is non empty set
{W0} is non empty set
{{W0,H},{W0}} is non empty set
W0 is set
[W0,H] is set
{W0,H} is non empty set
{W0} is non empty set
{{W0,H},{W0}} is non empty set
H1 is Relation-like set
field H1 is set
H1 -Seg H is set
Coim (H1,H) is set
(Coim (H1,H)) \ {H} is Element of bool (Coim (H1,H))
bool (Coim (H1,H)) is non empty set
H is set
W0 is set
[H,W0] is set
{H,W0} is non empty set
{H} is non empty set
{{H,W0},{H}} is non empty set
[W0,H] is set
{W0,H} is non empty set
{W0} is non empty set
{{W0,H},{W0}} is non empty set
W0 is Relation-like set
field W0 is set
H1 is Relation-like set
field H1 is set
H is set
the Element of H is Element of H
W0 is Relation-like set
field W0 is set
H /\ (field W0) is set
S1 is set
W0 -Seg S1 is set
Coim (W0,S1) is set
{S1} is non empty set
(Coim (W0,S1)) \ {S1} is Element of bool (Coim (W0,S1))
bool (Coim (W0,S1)) is non empty set
W00 is set
Z -Seg W00 is set
Coim (Z,W00) is set
{W00} is non empty set
(Coim (Z,W00)) \ {W00} is Element of bool (Coim (Z,W00))
bool (Coim (Z,W00)) is non empty set
W00 is set
[W00,W00] is set
{W00,W00} is non empty set
{W00} is non empty set
{{W00,W00},{W00}} is non empty set

field a is set
a -Seg W00 is set
Coim (a,W00) is set
(Coim (a,W00)) \ {W00} is Element of bool (Coim (a,W00))
bool (Coim (a,W00)) is non empty set
[W00,S1] is set
{W00,S1} is non empty set
{{W00,S1},{W00}} is non empty set
W00 is set
Z -Seg W00 is set
Coim (Z,W00) is set
{W00} is non empty set
(Coim (Z,W00)) \ {W00} is Element of bool (Coim (Z,W00))
bool (Coim (Z,W00)) is non empty set
H is set
W0 is set
[H,W0] is set
{H,W0} is non empty set
{H} is non empty set
{{H,W0},{H}} is non empty set
W0 is set
[W0,W0] is set
{W0,W0} is non empty set
{W0} is non empty set
{{W0,W0},{W0}} is non empty set
[H,W0] is set
{H,W0} is non empty set
{{H,W0},{H}} is non empty set
H1 is Relation-like set
S1 is Relation-like set
W00 is Relation-like set
H1 -Seg W0 is set
Coim (H1,W0) is set
(Coim (H1,W0)) \ {W0} is Element of bool (Coim (H1,W0))
bool (Coim (H1,W0)) is non empty set
field H1 is set
field W00 is set
[W0,H] is set
{W0,H} is non empty set
{{W0,H},{W0}} is non empty set
field H1 is set
field W00 is set
W00 -Seg W0 is set
Coim (W00,W0) is set
(Coim (W00,W0)) \ {W0} is Element of bool (Coim (W00,W0))
bool (Coim (W00,W0)) is non empty set
W00 is Relation-like set
W00 is Relation-like set
field W00 is set
H is set
[H,H] is set
{H,H} is non empty set
{H} is non empty set
{{H,H},{H}} is non empty set
W0 is Relation-like set
field W0 is set
N . () is set
{(N . ())} is non empty set
[:(),{(N . ())}:] is Relation-like set
[(N . ()),(N . ())] is set
{(N . ()),(N . ())} is non empty set
{{(N . ()),(N . ())},{(N . ())}} is non empty set
{[(N . ()),(N . ())]} is non empty Relation-like Function-like set
Z \/ [:(),{(N . ())}:] is Relation-like set
(Z \/ [:(),{(N . ())}:]) \/ {[(N . ()),(N . ())]} is non empty Relation-like set
H1 is Relation-like set
field H1 is set
W0 is Relation-like set
field W0 is set
{(N . ())} \/ {(N . ())} is non empty set
() \/ {(N . ())} is non empty set
W0 is Relation-like set
field W0 is set
the Element of field W0 is Element of field W0
W00 is set
[ the Element of field W0,W00] is set
{ the Element of field W0,W00} is non empty set
{ the Element of field W0} is non empty set
{{ the Element of field W0,W00},{ the Element of field W0}} is non empty set
W00 is set
[W00, the Element of field W0] is set
{W00, the Element of field W0} is non empty set
{W00} is non empty set
{{W00, the Element of field W0},{W00}} is non empty set
Z \/ W0 is Relation-like set
field (Z \/ W0) is set
(field (Z \/ W0)) \/ (field W0) is set
() \/ {} is set
(() \/ {}) \/ {(N . ())} is non empty set
W0 is Relation-like set
field W0 is set
Z \/ W0 is Relation-like set
field (Z \/ W0) is set
(field (Z \/ W0)) \/ (field W0) is set
() \/ (() \/ {(N . ())}) is non empty set
(() \/ (() \/ {(N . ())})) \/ {(N . ())} is non empty set
() \/ () is set
(() \/ ()) \/ {(N . ())} is non empty set
((() \/ ()) \/ {(N . ())}) \/ {(N . ())} is non empty set
(() \/ ()) \/ ({(N . ())} \/ {(N . ())}) is non empty set
S1 is set
W0 is Relation-like set
S1 is set
W00 is set
[S1,W00] is set
{S1,W00} is non empty set
{S1} is non empty set
{{S1,W00},{S1}} is non empty set
Z \/ W0 is Relation-like set
S1 is set
W00 is set
[S1,W00] is set
{S1,W00} is non empty set
{S1} is non empty set
{{S1,W00},{S1}} is non empty set
[W00,S1] is set
{W00,S1} is non empty set
{W00} is non empty set
{{W00,S1},{W00}} is non empty set
S1 is set
W00 is set
[S1,W00] is set
{S1,W00} is non empty set
{S1} is non empty set
{{S1,W00},{S1}} is non empty set
S1 is set
W00 is set
[S1,W00] is set
{S1,W00} is non empty set
{S1} is non empty set
{{S1,W00},{S1}} is non empty set
S1 is set
W00 is set
[S1,W00] is set
{S1,W00} is non empty set
{S1} is non empty set
{{S1,W00},{S1}} is non empty set
[W00,S1] is set
{W00,S1} is non empty set
{W00} is non empty set
{{W00,S1},{W00}} is non empty set
S1 is set
H1 -Seg S1 is set
Coim (H1,S1) is set
{S1} is non empty set
(Coim (H1,S1)) \ {S1} is Element of bool (Coim (H1,S1))
bool (Coim (H1,S1)) is non empty set
Z -Seg S1 is set
Coim (Z,S1) is set
(Coim (Z,S1)) \ {S1} is Element of bool (Coim (Z,S1))
bool (Coim (Z,S1)) is non empty set
W00 is set
[W00,S1] is set
{W00,S1} is non empty set
{W00} is non empty set
{{W00,S1},{W00}} is non empty set
W00 is set
[W00,S1] is set
{W00,S1} is non empty set
{W00} is non empty set
{{W00,S1},{W00}} is non empty set
S1 is set
() /\ S1 is set
W00 is set
Z -Seg W00 is set
Coim (Z,W00) is set
{W00} is non empty set
(Coim (Z,W00)) \ {W00} is Element of bool (Coim (Z,W00))
bool (Coim (Z,W00)) is non empty set
(Z -Seg W00) /\ S1 is set
(Z -Seg W00) /\ (() /\ S1) is set
a is set
[a,W00] is set
{a,W00} is non empty set
{a} is non empty set
{{a,W00},{a}} is non empty set
H1 -Seg W00 is set
Coim (H1,W00) is set
(Coim (H1,W00)) \ {W00} is Element of bool (Coim (H1,W00))
bool (Coim (H1,W00)) is non empty set
(H1 -Seg W00) /\ S1 is set
the Element of S1 is Element of S1
H1 -Seg (N . ()) is set
Coim (H1,(N . ())) is set
(Coim (H1,(N . ()))) \ {(N . ())} is Element of bool (Coim (H1,(N . ())))
bool (Coim (H1,(N . ()))) is non empty set
W00 is set
[W00,(N . ())] is set
{W00,(N . ())} is non empty set
{W00} is non empty set
{{W00,(N . ())},{W00}} is non empty set
H1 -Seg the Element of S1 is set
Coim (H1, the Element of S1) is set
{ the Element of S1} is non empty set
(Coim (H1, the Element of S1)) \ { the Element of S1} is Element of bool (Coim (H1, the Element of S1))
bool (Coim (H1, the Element of S1)) is non empty set
(H1 -Seg the Element of S1) /\ S1 is set
W00 is set
H1 -Seg W00 is set
Coim (H1,W00) is set
{W00} is non empty set
(Coim (H1,W00)) \ {W00} is Element of bool (Coim (H1,W00))
bool (Coim (H1,W00)) is non empty set
W00 is set
H1 -Seg W00 is set
Coim (H1,W00) is set
{W00} is non empty set
(Coim (H1,W00)) \ {W00} is Element of bool (Coim (H1,W00))
bool (Coim (H1,W00)) is non empty set
W00 is set
Z -Seg W00 is set
Coim (Z,W00) is set
{W00} is non empty set
(Coim (Z,W00)) \ {W00} is Element of bool (Coim (Z,W00))
bool (Coim (Z,W00)) is non empty set
H1 -Seg W00 is set
Coim (H1,W00) is set
(Coim (H1,W00)) \ {W00} is Element of bool (Coim (H1,W00))
bool (Coim (H1,W00)) is non empty set
W00 is set
H1 -Seg W00 is set
Coim (H1,W00) is set
{W00} is non empty set
(Coim (H1,W00)) \ {W00} is Element of bool (Coim (H1,W00))
bool (Coim (H1,W00)) is non empty set
W00 is set
H1 -Seg W00 is set
Coim (H1,W00) is set
{W00} is non empty set
(Coim (H1,W00)) \ {W00} is Element of bool (Coim (H1,W00))
bool (Coim (H1,W00)) is non empty set
S1 is set
H1 -Seg S1 is set
Coim (H1,S1) is set
{S1} is non empty set
(Coim (H1,S1)) \ {S1} is Element of bool (Coim (H1,S1))
bool (Coim (H1,S1)) is non empty set
N . (H1 -Seg S1) is set
Z -Seg S1 is set
Coim (Z,S1) is set
(Coim (Z,S1)) \ {S1} is Element of bool (Coim (Z,S1))
bool (Coim (Z,S1)) is non empty set
W00 is set
[W00,S1] is set
{W00,S1} is non empty set
{W00} is non empty set
{{W00,S1},{W00}} is non empty set
Z \/ W0 is Relation-like set
W00 is set
[W00,S1] is set
{W00,S1} is non empty set
{W00} is non empty set
{{W00,S1},{W00}} is non empty set
Z \/ W0 is Relation-like set
H1 -Seg (N . ()) is set
Coim (H1,(N . ())) is set
(Coim (H1,(N . ()))) \ {(N . ())} is Element of bool (Coim (H1,(N . ())))
bool (Coim (H1,(N . ()))) is non empty set
W00 is set
[W00,(N . ())] is set
{W00,(N . ())} is non empty set
{W00} is non empty set
{{W00,(N . ())},{W00}} is non empty set
W00 is set
[W00,(N . ())] is set
{W00,(N . ())} is non empty set
{W00} is non empty set
{{W00,(N . ())},{W00}} is non empty set
Z \/ W0 is Relation-like set
S1 is set
W00 is set
[S1,W00] is set
{S1,W00} is non empty set
{S1} is non empty set
{{S1,W00},{S1}} is non empty set
W00 is set
[W00,W00] is set
{W00,W00} is non empty set
{W00} is non empty set
{{W00,W00},{W00}} is non empty set
[S1,W00] is set
{S1,W00} is non empty set
{{S1,W00},{S1}} is non empty set
S1 is set
[S1,S1] is set
{S1,S1} is non empty set
{S1} is non empty set
{{S1,S1},{S1}} is non empty set
H is set
Z -Seg H is set
Coim (Z,H) is set
{H} is non empty set
(Coim (Z,H)) \ {H} is Element of bool (Coim (Z,H))
bool (Coim (Z,H)) is non empty set
N . (Z -Seg H) is set
N is set
M is set
D is set
D is set
D is set
F is set
N is set
M is set
bool M is non empty set
D is set
union D is set
F is set
S is set

S is set
(id D) . S is set
Z is set
{Z} is non empty set
bool Z is non empty set
H is set
W0 is set
[W0,(bool Z)] is set
{W0,(bool Z)} is non empty set
{W0} is non empty set
{{W0,(bool Z)},{W0}} is non empty set
W0 is set
[W0,Z] is set
{W0,Z} is non empty set
{W0} is non empty set
{{W0,Z},{W0}} is non empty set
H is set

field S is set
Z is set
H is set
W0 is set
[W0,H] is set
{W0,H} is non empty set
{W0} is non empty set
{{W0,H},{W0}} is non empty set
H is set
W0 is set
[W0,H] is set
{W0,H} is non empty set
{W0} is non empty set
{{W0,H},{W0}} is non empty set
W0 is set
[W0,H] is set
{W0,H} is non empty set
{W0} is non empty set
{{W0,H},{W0}} is non empty set

dom H is set
[:M,M:] is Relation-like set
W0 is set
rng H is set
W0 is set
H1 is set
[W0,H1] is set
{W0,H1} is non empty set
{W0} is non empty set
{{W0,H1},{W0}} is non empty set
H . H1 is set
[(H . H1),H1] is set
{(H . H1),H1} is non empty set
{(H . H1)} is non empty set
{{(H . H1),H1},{(H . H1)}} is non empty set
W0 is set
H . W0 is set
H1 is set
H . H1 is set
[(H . W0),W0] is set
{(H . W0),W0} is non empty set
{(H . W0)} is non empty set
{{(H . W0),W0},{(H . W0)}} is non empty set
[(H . H1),H1] is set
{(H . H1),H1} is non empty set
{(H . H1)} is non empty set
{{(H . H1),H1},{(H . H1)}} is non empty set
W0 is set
H1 is set
S1 is set
[H1,S1] is set
{H1,S1} is non empty set
{H1} is non empty set
{{H1,S1},{H1}} is non empty set
H . H1 is set
H . S1 is set
[(H . H1),(H . S1)] is set
{(H . H1),(H . S1)} is non empty set
{(H . H1)} is non empty set
{{(H . H1),(H . S1)},{(H . H1)}} is non empty set
W0 is Relation-like set
field W0 is set
H1 is set
S1 is set
[H1,S1] is set
{H1,S1} is non empty set
{H1} is non empty set
{{H1,S1},{H1}} is non empty set
[S1,H1] is set
{S1,H1} is non empty set
{S1} is non empty set
{{S1,H1},{S1}} is non empty set
H1 is set
{H1} is non empty set
H1 is set
S1 is set
{H1} is non empty set
W00 is set

dom H1 is set
S1 is set
H1 . S1 is set
W00 is set
H1 . W00 is set
{S1} is non empty set
{W00} is non empty set
rng H1 is set
W0 |_2 (rng H1) is Relation-like set
[:(rng H1),(rng H1):] is Relation-like set
W0 /\ [:(rng H1),(rng H1):] is Relation-like set
W00 is set
W00 is set
H . W00 is set
[W00,W00] is set
{W00,W00} is non empty set
{W00} is non empty set
{{W00,W00},{W00}} is non empty set
a is set
[a,W00] is set
{a,W00} is non empty set
{a} is non empty set
{{a,W00},{a}} is non empty set
W00 is set
H . W00 is set
W00 is set
[(H . W00),W00] is set
{(H . W00),W00} is non empty set
{(H . W00)} is non empty set
{{(H . W00),W00},{(H . W00)}} is non empty set
[W00,(H . W00)] is set
{W00,(H . W00)} is non empty set
{W00} is non empty set
{{W00,(H . W00)},{W00}} is non empty set
a is set
H . a is set
[W00,a] is set
{W00,a} is non empty set
{W00} is non empty set
{{W00,a},{W00}} is non empty set
[a,W00] is set
{a,W00} is non empty set
{a} is non empty set
{{a,W00},{a}} is non empty set
a is set
H . a is set
[W00,a] is set
{W00,a} is non empty set
{W00} is non empty set
{{W00,a},{W00}} is non empty set
[a,W00] is set
{a,W00} is non empty set
{a} is non empty set
{{a,W00},{a}} is non empty set
a is set
[W00,a] is set
{W00,a} is non empty set
{W00} is non empty set
{{W00,a},{W00}} is non empty set
b is set
[b,W00] is set
{b,W00} is non empty set
{b} is non empty set
{{b,W00},{b}} is non empty set
x is set
[W00,x] is set
{W00,x} is non empty set
{{W00,x},{W00}} is non empty set
y is set
[y,W00] is set
{y,W00} is non empty set
{y} is non empty set
{{y,W00},{y}} is non empty set
W00 is set
[W00,W00] is set
{W00,W00} is non empty set
{W00} is non empty set
{{W00,W00},{W00}} is non empty set
a is set
[a,W00] is set
{a,W00} is non empty set
{a} is non empty set
{{a,W00},{a}} is non empty set
W00 is set
H . W00 is set
W00 is set
[W00,W00] is set
{W00,W00} is non empty set
{W00} is non empty set
{{W00,W00},{W00}} is non empty set
H . W00 is set
[(H . W00),(H . W00)] is set
{(H . W00),(H . W00)} is non empty set
{(H . W00)} is non empty set
{{(H . W00),(H . W00)},{(H . W00)}} is non empty set
a is set
b is set
[a,b] is set
{a,b} is non empty set
{a} is non empty set
{{a,b},{a}} is non empty set
H . a is set
H . b is set
[(H . a),(H . b)] is set
{(H . a),(H . b)} is non empty set
{(H . a)} is non empty set
{{(H . a),(H . b)},{(H . a)}} is non empty set

[:N,N:] is Relation-like set
W00 is set
W00 is set
a is set
b is set
[a,b] is set
{a,b} is non empty set
{a} is non empty set
{{a,b},{a}} is non empty set
H1 . a is set
H1 . b is set
[(H1 . a),(H1 . b)] is set
{(H1 . a),(H1 . b)} is non empty set
{(H1 . a)} is non empty set
{{(H1 . a),(H1 . b)},{(H1 . a)}} is non empty set
W00 is Relation-like set
field W00 is set
a is set
b is set
[a,b] is set
{a,b} is non empty set
{a} is non empty set
{{a,b},{a}} is non empty set
[b,a] is set
{b,a} is non empty set
{b} is non empty set
{{b,a},{b}} is non empty set
a is set
b is set
H1 . b is set
{b} is non empty set
x is set
field (W0 |_2 (rng H1)) is set
a is set
H1 . a is set
b is set
[(H1 . a),b] is set
{(H1 . a),b} is non empty set
{(H1 . a)} is non empty set
{{(H1 . a),b},{(H1 . a)}} is non empty set
[b,(H1 . a)] is set
{b,(H1 . a)} is non empty set
{b} is non empty set
{{b,(H1 . a)},{b}} is non empty set
x is set
H1 . x is set
[a,x] is set
{a,x} is non empty set
{a} is non empty set
{{a,x},{a}} is non empty set
[x,a] is set
{x,a} is non empty set
{x} is non empty set
{{x,a},{x}} is non empty set
x is set
H1 . x is set
[a,x] is set
{a,x} is non empty set
{a} is non empty set
{{a,x},{a}} is non empty set
[x,a] is set
{x,a} is non empty set
{x} is non empty set
{{x,a},{x}} is non empty set
x is set
[a,x] is set
{a,x} is non empty set
{a} is non empty set
{{a,x},{a}} is non empty set
y is set
[y,a] is set
{y,a} is non empty set
{y} is non empty set
{{y,a},{y}} is non empty set
c18 is set
[a,c18] is set
{a,c18} is non empty set
{{a,c18},{a}} is non empty set
c19 is set
[c19,a] is set
{c19,a} is non empty set
{c19} is non empty set
{{c19,a},{c19}} is non empty set
b is set
[a,b] is set
{a,b} is non empty set
{a} is non empty set
{{a,b},{a}} is non empty set
x is set
[x,a] is set
{x,a} is non empty set
{x} is non empty set
{{x,a},{x}} is non empty set
a is set
H1 . a is set
b is set
[a,b] is set
{a,b} is non empty set
{a} is non empty set
{{a,b},{a}} is non empty set
H1 . b is set
[(H1 . a),(H1 . b)] is set
{(H1 . a),(H1 . b)} is non empty set
{(H1 . a)} is non empty set
{{(H1 . a),(H1 . b)},{(H1 . a)}} is non empty set
x is set
y is set
[x,y] is set
{x,y} is non empty set
{x} is non empty set
{{x,y},{x}} is non empty set
H1 . x is set
H1 . y is set
[(H1 . x),(H1 . y)] is set
{(H1 . x),(H1 . y)} is non empty set
{(H1 . x)} is non empty set
{{(H1 . x),(H1 . y)},{(H1 . x)}} is non empty set