transferably finitely metriccally compactly closed

• 转移有限度量紧闭