设τ是集X的拓扑,E∈2^X则λ={E∩G:G∈τ}是E的拓扑