そうだなすまん。
aが無理数とはQ内のコーシー列{an}に対し、
an≠a lim(n→∞)an=a なるaのことでいい？