You searched for: "formal definition"