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