Kvantifikátory

existenční kvantifikátor

some $proměnná in posloupnost satisfies podmínka

všeobecný kvantifikátor

every $proměnná in posloupnost satisfies podmínka

pro podmínku se nemění kontextová položka, proto se zde obvykle odvoláváme na proměnnou

příklad – výpis prvočísel

for $i in (2 to 100) return
  if (every $j in (2 to $i - 1) satisfies $i mod $j ne 0)
    then $i
    else ()