Added small example to informal definition.