DEFINITION MODULE BibConj;
FROM Conjunto IMPORT CONJUNTO;

PROCEDURE Union(VAR c:CONJUNTO; c1,c2:CONJUNTO);
PROCEDURE Inter(VAR c:CONJUNTO; c1,c2:CONJUNTO);
PROCEDURE Difer(VAR c:CONJUNTO; c1,c2:CONJUNTO);
PROCEDURE DifSim(VAR c:CONJUNTO; c1,c2:CONJUNTO);
PROCEDURE EsIgual(c1,c2:CONJUNTO):BOOLEAN;

END BibConj.
