environ
vocabularies HIDDEN, UNIALG_1, UNIALG_2, XBOOLE_0, SUBSET_1, GROUP_2, STRUCT_0, ORDERS_3, FUNCT_1, ZFMISC_1, CARD_1, FINSEQ_1, TARSKI, PARTFUN1, RELAT_1, FINSEQ_2, NUMBERS, CQC_SIM1, SETFAM_1, PBOOLE, EQREL_1, XXREAL_2, LATTICES, REWRITE1, LATTICE3, VECTSP_8, UNIALG_3;
notations HIDDEN, TARSKI, XBOOLE_0, SUBSET_1, ORDINAL1, NUMBERS, SETFAM_1, RELAT_1, FUNCT_1, STRUCT_0, RELSET_1, FUNCT_2, FINSEQ_1, FINSEQ_2, MARGREL1, LATTICES, LATTICE3, UNIALG_1, UNIALG_2;
definitions LATTICE3, VECTSP_8, LATTICES, UNIALG_2, TARSKI, XBOOLE_0;
theorems TARSKI, UNIALG_2, SETFAM_1, FUNCT_1, FUNCT_2, RELAT_1, LATTICES, SUBSET_1, FINSEQ_2, UNIALG_1, FINSEQ_1, FINSEQ_3, XBOOLE_0, XBOOLE_1, STRUCT_0, MARGREL1;
schemes FUNCT_2;
registrations XBOOLE_0, SUBSET_1, RELSET_1, STRUCT_0, LATTICES, UNIALG_2, ORDINAL1, FINSEQ_1, CARD_1;
constructors HIDDEN, BINOP_1, DOMAIN_1, LATTICE3, UNIALG_2, RELSET_1, NUMBERS;
requirements HIDDEN, BOOLE, SUBSET;
equalities LATTICES, UNIALG_2, SUBSET_1;
expansions LATTICE3, LATTICES, UNIALG_2, TARSKI, XBOOLE_0;