definition and formula