theorem :: MATROID0:7

for T being non empty discrete TopStruct holds T is Matroid ;