Aus welchem Kontext soll das denn implizit quantifiziert sein, etwa aus der Definition von Dedekind? Im Kontext könnte man noch fälschlicher Weise als Bindung des entdecken. Ich verstehe die Formel als Alternative zur sprachlichen Definition. Wenn die Definition aber zur Deutung einer anders notierten Definition nötig ist, ist das unlogisch. Zudem finde ich es sogar einfacher, wenn das explizit quantifiziert wird, denn das kann man strukturell gut mit der sprachlichen Beschreibung abgleichen. -- Zahnradzacken 22:41, 2. Okt. 2011 (CEST)