Lughet
›
›
→
existentially definable set — English to Chinese Translation