A topological overlay procedure which determines the spatial coincidence of two sets of polygon features and creates a new set of polygons based on identity, intersect, or union