inverse inverse { 1 |-> "Janeiro", 2 |-> "Fevereiro" } munion { 3 |-> "Marco" }