Form of abstraction whereby common properties of specific instances are formulated as general concepts or claims