We have thus got, in the case of any particular property, a means of expressing the proposition that it is internal to every term that possesses it, which is both short and brings out clearly the notions that are involved in it.