Para entender mejor estos elementos, definimos un sistema formal minimalista llamado "M".