:: FINSUB_1 semantic presentation

the empty finite V18() set is empty finite V18() set
bool {} is non empty finite V18() set
is non empty finite V18() set
A is set
A is set
A is set
x is set
A \/ x is set
A is set
x is set
A /\ x is set
A is set
x is set
A \ x is Element of bool A
bool A is non empty set
A is set
x is set
X is set
x \/ X is set
x \ X is Element of bool x
bool x is non empty set
x is set
X is set
x \ X is Element of bool x
bool x is non empty set
x is set
X is set
x \/ X is set
A is non empty () () () set
x is Element of A
X is Element of A
x \/ X is set
x \ X is set
A is set
x is set
A /\ x is set
X is non empty () () () set
x is Element of X
X is Element of X
x /\ X is set
(X,x,X) is Element of X
(X,x,(X,x,X)) is Element of X
A is set
x is set
A \+\ x is set
A \ x is set
x \ A is set
(A \ x) \/ (x \ A) is set
X is non empty () () () set
x is Element of X
X is Element of X
x \+\ X is set
x \ X is set
X \ x is set
(x \ X) \/ (X \ x) is set
(X,x,X) is Element of X
(X,X,x) is Element of X
(X,(X,x,X),(X,X,x)) is Element of X
A is non empty set
x is set
X is set
X \ x is Element of bool X
bool X is non empty set
x \/ X is set
x is Element of A
x \+\ x is set
x \ x is set
x \ x is set
(x \ x) \/ (x \ x) is set
x \ X is Element of bool x
bool x is non empty set
A is non empty set
x is set
X is set
x \+\ X is set
x \ X is set
X \ x is set
(x \ X) \/ (X \ x) is set
x /\ X is set
x \/ X is set
x is Element of A
X is Element of A
x \+\ X is set
x \ X is set
X \ x is set
(x \ X) \/ (X \ x) is set
x \ X is Element of bool x
bool x is non empty set
x \+\ X is set
x \ X is set
X \ x is set
(x \ X) \/ (X \ x) is set
A is non empty set
x is set
X is set
x \/ X is set
x \+\ X is set
x \ X is set
X \ x is set
(x \ X) \/ (X \ x) is set
x /\ X is set
x is Element of A
X is Element of A
x \+\ X is set
x \ X is set
X \ x is set
(x \ X) \/ (X \ x) is set
x \ X is Element of bool x
bool x is non empty set
Z1 is Element of A
x \+\ Z1 is set
x \ Z1 is set
Z1 \ x is set
(x \ Z1) \/ (Z1 \ x) is set
A is non empty () () () set
x is Element of A
X is Element of A
x /\ X is set
x \+\ X is set
x \ X is set
X \ x is set
(x \ X) \/ (X \ x) is set
A is non empty () () () set
the Element of A is Element of A
(A, the Element of A, the Element of A) is Element of A
A is set
bool A is non empty set
x is set
X is set
x is Element of bool A
X is Element of bool A
x \/ X is Element of bool A
x \ X is Element of bool A
x \/ X is set
x \ X is Element of bool x
bool x is non empty set
A is set
bool A is non empty set
A is non empty () () () set
x is non empty () () () set
A /\ x is set
x is set
X is non empty set
X is set
x \/ X is set
x \ X is Element of bool x
bool x is non empty () () () set
A is set
bool A is non empty () () () set
x is set
X is non empty set
x is set
X is set
x \/ X is set
x \ X is Element of bool x
bool x is non empty () () () set
Z1 is set
Z2 is set
Z1 \ Z2 is Element of bool Z1
bool Z1 is non empty () () () set
Z1 \/ Z2 is set
x is non empty () () () set
X is set
Z1 is set
x is () () () set
X is () () () set
x is set
A is set
(A) is () () () set
A is set
(A) is non empty () () () set
x is Element of (A)
A is set
x is set
(A) is non empty () () () set
(x) is non empty () () () set
X is set
A is set
x is set
A /\ x is set
((A /\ x)) is non empty () () () set
(A) is non empty () () () set
(x) is non empty () () () set
(A) /\ (x) is set
X is set
A is set
(A) is non empty () () () set
x is set
(x) is non empty () () () set
(A) \/ (x) is non empty set
A \/ x is set
((A \/ x)) is non empty () () () set
A is set
(A) is non empty () () () set
bool A is non empty () () () set
x is set
A is set
(A) is non empty () () () set
bool A is non empty () () () set
x is set
({}) is non empty () () () set
A is set
(A) is non empty () () () set
x is finite Element of (A)
A is set
(A) is non empty () () () set
x is finite Element of (A)
bool A is non empty () () () set
A is set
bool A is non empty () () () set
x is Element of bool A
(A) is non empty () () () set