The definition is: To say of a given relational property that it modifies or is internal to a given term A which possesses it, is to say that from the proposition that a thing has not got it follows that that thing is different from.