1848 - Formalize the operation called map overlay using Boolean logic

Formalize the operation called map overlay using Boolean logic