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

【参考答案】

σ_F(R)={t|t∈R∧F(t)=TRUE}