Likning, identitet, algebraisk uttrykk og funksjon