A statement that specifies which attributes must be present in an object of that class, as well as attributes that might be present.