environ
vocabularies HIDDEN, NET_1, XBOOLE_0, TARSKI, ZFMISC_1, RELAT_1, FF_SIEC, STRUCT_0, PETRI;
notations HIDDEN, TARSKI, XBOOLE_0, ZFMISC_1, RELAT_1, PARTIT_2, STRUCT_0, PETRI, NET_1;
definitions ;
theorems ZFMISC_1, RELAT_1, SYSREL, TARSKI, RELSET_1, NET_1, XBOOLE_0, XBOOLE_1, XTUPLE_0;
schemes ;
registrations RELAT_1, NET_1, PARTIT_2;
constructors HIDDEN, NET_1, PARTIT_2;
requirements HIDDEN, SUBSET, BOOLE;
equalities NET_1;
expansions ;
:: A [F -> E]