Definitia este forma logica a cunostintelor noastre explicite despre un anumit gen de lucruri. (Henri Wald)