Note 10 — Chapter VIII · ANALYTICA POSTERIORA II.

Ibid. b. 33, seq.: ἔτι πᾶσα ἀπόδειξις τὶ κατά τινος δείκνυσιν, οἷον ὅτι ἔστιν ἢ οὐκ ἔστιν· ἐν δὲ τῷ ὁρισμῷ οὐδὲν ἕτερον ἑτέρου κατηγορεῖται, οἷον οὔτε τὸ ζῷον κατὰ τοῦ δίποδος οὐδὲ τοῦτο κατὰ τοῦ ζῷου — ὁ μὲν οὖν ὁρισμὸς τί ἐστι δηλοῖ, ἡ δὲ ἀπόδειξις ὅτι ἢ ἔστι τόδε κατὰ τοῦδε ἢ οὐκ ἔστιν.

Themistius (p. 71, Speng.) distinguishes the ὁρισμός itself from ἡ πρότασις ἡ τὸν ὁρισμὸν κατηγορούμενον ἔχουσα.