environ
vocabularies HIDDEN, RELAT_1, TARSKI, XBOOLE_0, ZFMISC_1, RELAT_2;
notations HIDDEN, TARSKI, XBOOLE_0, ZFMISC_1, RELAT_1;
definitions RELAT_1;
theorems TARSKI, XBOOLE_0, ZFMISC_1, RELAT_1, XTUPLE_0;
schemes ;
registrations RELAT_1, XBOOLE_0;
constructors HIDDEN, TARSKI, SUBSET_1, RELAT_1, XTUPLE_0;
requirements HIDDEN, BOOLE, SUBSET;
equalities RELAT_1;
expansions RELAT_1;