σF(R)= { t | t ∈ R ∧ PF(t) }
t : リレーション中のタプル
F:選択条件
PF(t) : タプルtが条件Fを満たすとき真となる述語
選択条件Fは
比較演算子θを含む式(等式や不等式)や論理式