定义：在元组关系演算系统中，称{t|Q(t)}为元组演算表达式，其中t是元组变量，Q(t)是元组关系演算公式；它由原子公式和运算符组成。
我们接下来看看原子公式的三类：
1、R(t)：R是关系名，t是元组变量，R(t)是元组变量，R(t)表示t是R中的元组，一般用{t|R(t)}来表示
2、t[i]Θu[j]: t，u是元组变量，Θ是算术比较运算符。t[i]Θu[j]表示命题“元组t的第i个分量与元组u的第j个分量满足比较关系Θ”
3、t[i]Θc或者cΘt[i]这里的c是常量，该公式表示“t的第i个分量与常数c满足比较关系Θ”举个很简单的例子：t[4]=3表示t的第4个分量等于3。