:: Basic Properties of Subsets - Requirements
:: by Library Committee
::
:: Received February 27, 2003
:: Copyright (c) 2003 Association of Mizar Users
theorem :: SUBSET:1
theorem :: SUBSET:2
theorem Th3: :: SUBSET:3
for
a,
b being
set holds
(
a is
Subset of
b iff
a c= b )
theorem :: SUBSET:4
theorem :: SUBSET:5