let Y be non empty set ; :: thesis: for R, S being Equivalence_Relation of Y holds R \/ S c= R * S

let R, S be Equivalence_Relation of Y; :: thesis: R \/ S c= R * S

let x, y be Element of Y; :: according to RELSET_1:def 1 :: thesis: ( not [x,y] in R \/ S or [x,y] in R * S )

assume A1: [x,y] in R \/ S ; :: thesis: [x,y] in R * S

let R, S be Equivalence_Relation of Y; :: thesis: R \/ S c= R * S

let x, y be Element of Y; :: according to RELSET_1:def 1 :: thesis: ( not [x,y] in R \/ S or [x,y] in R * S )

assume A1: [x,y] in R \/ S ; :: thesis: [x,y] in R * S