定理：空集包含于任何集合,且真包含任何非空集合.
以空集为元素的集合含有元素“Φ”,故为非空集合.综上得空集真包含于以空集为元素的集合.