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