environ
vocabularies HIDDEN, XBOOLE_0, PRE_TOPC, SUBSET_1, CONNSP_1, SETFAM_1, RELAT_2, TARSKI, STRUCT_0, ZFMISC_1, RELAT_1, RUSUB_4, RCOMP_1, CONNSP_3;
notations HIDDEN, TARSKI, XBOOLE_0, SUBSET_1, SETFAM_1, STRUCT_0, PRE_TOPC, CONNSP_1;
definitions TARSKI, XBOOLE_0;
theorems TARSKI, ZFMISC_1, SETFAM_1, PRE_TOPC, SUBSET_1, CONNSP_1, XBOOLE_0, XBOOLE_1, ORDERS_1;
schemes SUBSET_1;
registrations SUBSET_1, STRUCT_0, PRE_TOPC, CONNSP_1;
constructors HIDDEN, SETFAM_1, CONNSP_1;
requirements HIDDEN, SUBSET, BOOLE;
equalities XBOOLE_0, STRUCT_0;
expansions TARSKI, XBOOLE_0;