•A definition of a class means that given a list of properties:
–For all props, all objects have that prop.
–No other objects have all properties
•Invariant is an image property that:
–For some objects, property is true for all images.
–For all other objects, property is false for all images.
–Whiteboard
•Definitions are composed of invariant properties.
–