використовується для завдання

умови того,

що певний тип рядків у відношенні існує.

вказує на те, що деяка умова застосовується до першого рядка вибірки.

вказує на те, що деяка умова

застосовується до всіх рядків або

до кожного рядка деякого типу.

використовується для завдання

умови того,

що певний тип рядків у відношенні не існує.