∀

• Unicode, Inc., Mathematical Operators, The Unicode Standard, version 12.1, 2019

∀

1. Pour tout, quel que soit (quantificateur universel).
   • ${\displaystyle \forall s,t[{\textit {Cb}}(s,t)\land \forall w(\phi (w)\rightarrow {\textit {Cb}}(w,t))\rightarrow (FoS_{\phi }(s)\leftrightarrow FoS_{\exists w'(w=t\circ w'\land \phi (w'))}(t\circ s))]}$ — (Cédric Tarbouriech. Having A Part 2 x 2 = 4 Times Over : Towards A Mereology Of Slots. Library and information sciences. Université Paul Sabatier - Toulouse III, 2023 → lire en ligne)

     Pour tous ${\displaystyle s}$ et ${\displaystyle t}$, si ${\displaystyle s}$ est contextualisable par ${\displaystyle t}$ et que pour tout ${\displaystyle w}$, si ${\displaystyle w}$ est un ${\displaystyle \phi }$ alors ${\displaystyle w}$ est contextualisable par ${\displaystyle t}$, alors ${\displaystyle s}$ est la fusion de slots des ${\displaystyle w}$ qui sont des ${\displaystyle \phi }$ si et seulement si la contextualisation de ${\displaystyle s}$ par ${\displaystyle t}$ est la fusion de slots des ${\displaystyle w}$ tels qu’il existe un ${\displaystyle w'}$ tel que ${\displaystyle w}$ est la contextualisation de ${\displaystyle w'}$ par ${\displaystyle t}$ et que ${\displaystyle w'}$ est un ${\displaystyle \phi }$.