:: Basic Notation of Universal Algebra
:: by Jaros{\l}aw Kotowicz, Beata Madras and Ma{\l}gorzata Korolkiewicz
::
:: Received December 29, 1992
:: Copyright (c) 1992 Association of Mizar Users
:: deftheorem Def1 defines homogeneous UNIALG_1:def 1 :
:: deftheorem defines quasi_total UNIALG_1:def 2 :
theorem :: UNIALG_1:1
theorem Th2: :: UNIALG_1:2
theorem Th3: :: UNIALG_1:3
:: deftheorem UNIALG_1:def 3 :
canceled;
:: deftheorem Def4 defines homogeneous UNIALG_1:def 4 :
:: deftheorem Def5 defines quasi_total UNIALG_1:def 5 :
:: deftheorem UNIALG_1:def 6 :
canceled;
:: deftheorem Def7 defines partial UNIALG_1:def 7 :
:: deftheorem Def8 defines quasi_total UNIALG_1:def 8 :
:: deftheorem Def9 defines non-empty UNIALG_1:def 9 :
theorem Th4: :: UNIALG_1:4
:: deftheorem defines arity UNIALG_1:def 10 :
theorem Th5: :: UNIALG_1:5
:: deftheorem defines signature UNIALG_1:def 11 :