Which of the following is a formal definition?

Which Of The Following Is A Formal Definition class=