La være en forkortelse for typen . La være definert som . Observer at . La være definert som . Navnet er første bokstav i suksessor, og representerer funksjonen. Observer at .