:: FINSUB_1 semantic presentation

{} is empty finite V18() set

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