"formally defined" — Kollokationen-Wörterbuch Englisch

formally defined Kollokation
Automatische Übersetzung (wir garantieren seine Korrektheit nicht): formalnie określić
  1. define Verb + formally Adverb
    Stark Kollokation

    It is formally defined in section 6.8 of the C++ language standard.