Marinada '26

Book (2 words) $$A = \{Horse, Dog, Pig, ...\}$$ $$\left(\forall x\in A\right)\left(\forall y\in A\right)\left(x=y\right)$$ $$\left(\exists x\in A\right)\left(\forall y\in A\right)\left(x==y\right)$$