>

bounded universal quantifier

📖 中文释义

  1. [计] 有界全称量词
B 字母词表