environ
vocabularies HIDDEN, STRUCT_0, RELAT_1, TARSKI, ZFMISC_1, XBOOLE_0, SYSREL, E_SIEC;
notations HIDDEN, TARSKI, XBOOLE_0, ZFMISC_1, RELAT_1, SYSREL, STRUCT_0;
definitions ;
theorems ZFMISC_1, RELAT_1, SYSREL, RELSET_1, XBOOLE_0, XBOOLE_1, XTUPLE_0;
schemes ;
registrations XBOOLE_0, RELAT_1;
constructors HIDDEN, SYSREL, STRUCT_0, XTUPLE_0;
requirements HIDDEN, SUBSET, BOOLE;
equalities STRUCT_0;
expansions ;