reconsider
e
=
{}
null
I
as
Subset
of
X
by
XBOOLE_1:2
;
take
e
;
:: thesis:
e
is
I
-satisfied
thus
e
is
I
-satisfied
;
:: thesis:
verum