Lughet
›
›
→
finite open refinement — English to Chinese Translation