条件

x の内容が決まれば命題となる事柄 p(x) のことを、x を変数 (variable)とする条件 (condition)という。

EX)

xは正の数である

REFERENCES:

  • http://www.ftext.org/text/subsubsection/1030