Presents a formal model of visualization called a visualizing net, given in a unified and axiomatic manner based on the mathematical concept of correspondence, which is a general form of mapping. For students or researchers interested in the formal aspects of computer graphics.