⟨library⟩ class member function that accesses the state of an object of the class but does not alter that state