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