/CapApplier.java/1.5/Tue Mar 25 12:26:53 2008//
/CupApplier.java/1.5/Tue Mar 25 12:26:53 2008//
/EqualityApplier.java/1.5/Sun Mar 15 20:05:47 2009//
/MembershipOperatorApplier.java/1.5/Wed Mar 11 14:06:49 2009//
/OperadorBinarioConjuntos.java/1.11/Fri Jun 17 14:06:42 2011//
/SubseteqApplier.java/1.6/Tue Apr  1 19:36:10 2008//
