Formal Definition

A Formal Definition is a Concept Definition in the form of a Formal Specification.