自然子类型的英文翻译

中文:自然子类型

英文翻译:【计】 natural subtype