在专门的关系运算中，选择运算是从某个给定的关系中，筛选出满足限定条件的元素子集，它是一元关系运算，其定义可表示为______。

【参考答案】

6F(R)={[t｜t∈R∧F(t)=TRUE}