Erlang programming techniques/Definition