A statement or formal explanation of the meaning of a concept.
@en