Boolean map theory