条件：若X属于S,则X属于T （S包含于T）
若X属于R交S,则X属于R且X属于S
若X属于R交T,则X属于R且X属于T
证明：若X属于R交S,则X属于R且X属于S
因此,X属于T
综上所述得,若X属于R交S,则X属于R且X属于T,即X属于R交T
因此,R交S包含于R交T