rng F <> {} ;
hence rng F is non empty Subset-Family of X by XBOOLE_1:1; :: thesis: verum