Often, in debates over whether or not God is the greatest good, an objection comes up along the lines of "is it meaningful to talk about 'the greatest good' when things that are good are not all comparably good? (e.g. an apple being good is not the same as a work of Goya being good)"

The answer is yes. It is possible for goodness to be a relationship that is partially ordered, and it is meaningful to speak of the greatest element of a set on which a partial ordering holds. However, it remains to the metaphysicist to prove that:

(1) A top element exists on the set of all things partially ordered by "goodness."
(2) This top element is the same as God up to isomorphism.