设R,S和T为集合A上的关系,若S含于T,证明R.S含于R.T

设R,S和T为集合A上的关系,若S含于T,证明R.S含于R.T
设R,S和T为集合A上的关系,若S含于T,证明R.S含于R.T

设R,S和T为集合A上的关系,若S含于T,证明R.S含于R.T
条件：若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