>

universally quantified variable

📖 中文释义

  1. [计] 全称量词化变元
U 字母词表