 alternatively, the purpose of a definition (or a defining property) is to establish the use [of the definiendum term, i.e., the expression that picks out the definiendum] (vyavahārasiddhir vā lakṣaṇa-prayojanam). (Sarvabhouma 1911 [1989: 194]) 