bounded existential quantifier 📖 中文释义 [计] 有界存在量词 ← bounded convex polyhedron B 字母词表 bounded function →