a,Ta co:
SG=(SAE)∩(SBD)(1){I∈AM⊂(SAE)I∈BD⊂(SBD)⇒I∈(SAE)∩(SDB)(2)
{J∈QE⊂(SAE)J∈BP⊂(SBD)⇒J∈(SAE)∩(SBD)(3)
Tu (1),(2),(3) Ta co I,J∈SG hay I,J,S,G thang hang
b,
S,K,L thang hang moi dung^^
Ta co:S∈(SAB)∩(SDE)(1)
{K∈AN⊂(SAB)K∈DM⊂(SDE))⇒K∈(SAB)∩(SDE)(2)
{L∈BQ⊂(SAB)L∈EP⊂(SDE)⇒L∈(SAB)∩(SDE)(3)
Tu (1),(2),(3) suy ra S,K,Lthang hang