Maps Learning Outcomes At the end of this lecture you should be able to: provide a definition of a VDM map; utilize and interpret map notation; make appropriate use of the…