Some embodiments of the invention provide a method for providing a visualization of a topology for a logical network implemented in a physical network. The method identifies a set of logical elements of the logical network. For each logical element, the method identifies a set of one or more physical elements in the physical network that implements the logical element. Multiple physical elements are identified for at least one of the logical elements. Through a user interface (UI) the method displays a visualization that includes (1) the set of logical elements, (2) connections between the logical elements, (3) the sets of physical elements that implement each logical element in the set of logical elements, and (4) correlations between each logical element and the set of physical elements that implements the logical element. Each logical element and each physical element is represented by a node in the visualization.