中文:子集实现
英文翻译:【计】subset implementation
中文:可连接子集英文翻译:【计】joinable subset...
中文:可数无穷子集英文翻译:【计】countably-infinite subset...
中文:元语言子集英文翻译:【计】metasublanguage...
中文:不相交子集名英文翻译:【计】disjoint subset name...
中文:不变子集英文翻译:【计】invariant subset...