Zadání kvantifikátoru

parametry, podmínka kvantifikátoru, dílčí kvantifikátory …