SELECT ... FROM ... R ... WHERE ... R.f op val ...
SELECT
FROM
WHERE
⇒ Select[R.f op val](R)
SELECT ... FROM ... R ... WHERE ... Cond1,R AND Cond2,R ...
AND
⇒ Select[Cond1,R & Cond2,R](R) or ⇒ Select[Cond1,R](Select[Cond2,R](R))