אנגלית ⇄ סינית +

closing characterization theorem
.בינה	闭合特性定理