Define "is-a" statement.