Which of the following is a formal definition?

Explanation:
The first bullet point is the correct formal definition