environ
vocabularies HIDDEN, XBOOLE_0, SUBSET_1, BINOP_1, ZFMISC_1, STRUCT_0, ARYTM_3, FUNCT_1, FUNCT_5, SUPINF_2, ARYTM_1, RELAT_1, MESFUNC1, ALGSTR_0, CARD_1;
notations HIDDEN, TARSKI, XBOOLE_0, SUBSET_1, ZFMISC_1, BINOP_1, FUNCT_5, ORDINAL1, CARD_1, STRUCT_0;
definitions ;
theorems STRUCT_0;
schemes ;
registrations ZFMISC_1, CARD_1, STRUCT_0;
constructors HIDDEN, BINOP_1, STRUCT_0, ZFMISC_1, FUNCT_5;
requirements HIDDEN, BOOLE, SUBSET, NUMERALS;
equalities ;
expansions ;
canceled;