(x,y)∈A×(C∪D)si y sólo six∈A yy∈C∪D si y sólo six∈A y cualquieray∈C oy∈D si y sólo six∈A yy∈C, o,\( x ...(x,y)∈A×(C∪D)si y sólo six∈A yy∈C∪D si y sólo six∈A y cualquieray∈C oy∈D si y sólo six∈A yy∈C, o,x∈A yy∈D si y sólo si(x,y)∈A×C o si y sólo(x,y)∈A×D si y sólo si(x,y)∈(A×C)∪(A×D).