malý kvantifikátor

• квантор существования