environ
vocabularies HIDDEN, FUNCT_1, SUBSET_1, NUMBERS, NAT_1, RELAT_1, TARSKI, XCMPLX_0, VALUED_0, FUNCOP_1, COMPLEX1, CARD_1, XBOOLE_0, ARYTM_3, VALUED_1, ARYTM_1, COMSEQ_1;
notations HIDDEN, TARSKI, XBOOLE_0, SUBSET_1, XCMPLX_0, ORDINAL1, NUMBERS, COMPLEX1, RELAT_1, FUNCT_1, NAT_1, RELSET_1, FUNCOP_1, VALUED_1;
definitions ORDINAL1;
theorems COMPLEX1, FUNCT_1, FUNCT_2, TARSKI, RELSET_1, XCMPLX_1, XCMPLX_0, FUNCOP_1, VALUED_1, ZFMISC_1, RELAT_1, ORDINAL1;
schemes CLASSES1;
registrations XBOOLE_0, ORDINAL1, RELSET_1, FUNCT_2, NUMBERS, MEMBERED, VALUED_0, VALUED_1, XCMPLX_0, XREAL_0;
constructors HIDDEN, PARTFUN1, FUNCOP_1, REAL_1, COMPLEX1, VALUED_1, RELSET_1, VALUED_0;
requirements HIDDEN, NUMERALS, SUBSET, BOOLE, ARITHM;
equalities VALUED_1, COMPLEX1;
expansions ;