From a more formal point of view, I report the definition for both a polygon and a multipolygon (the following text and images come from this document of the OGC® Standards, all credits to the cited source).
Polygon
A Polygon is a planar Surface defined by 1 exterior boundary and 0 or more interior boundaries. Each interior boundary defines a hole in the Polygon.
The exterior boundary LinearRing defines the “top” of the surface which is the side of the surface from which the exterior boundary appears to traverse the boundary in a counter clockwise direction. The interior LinearRings will have the opposite orientation, and appear as clockwise when viewed from the "top".
The assertions for Polygons (the rules that define valid Polygons) are as follows:
- Polygons are topologically closed;
- The boundary of a Polygon consists of a set of LinearRings that make
up its exterior and interior boundaries;
- No two Rings in the boundary cross and the Rings in the boundary of
a Polygon may intersect at a Point but only as a tangent;
- A Polygon may not have cut lines, spikes or punctures;
- The interior of every Polygon is a connected point set;
- The exterior of a Polygon with 1 or more holes is not connected. Each hole defines a connected component of the exterior.
Below some examples of Polygons:
Multipolygon
A MultiPolygon is a MultiSurface whose elements are Polygons.
The assertions for MultiPolygons are as follows:
- The interiors of 2 Polygons that are elements of a MultiPolygon may not intersect;
- The boundaries of any 2 Polygons that are elements of a MultiPolygon
may not “cross” and may touch at only a finite number of Points;
- A MultiPolygon is defined as topologically closed;
- A MultiPolygon may not have cut lines, spikes or punctures, a MultiPolygon is a regular closed Point set;
- The interior of a MultiPolygon with more than 1 Polygon is not connected; the number of connected components of the interior of a MultiPolygon is equal to the number of Polygons in the MultiPolygon
The boundary of a MultiPolygon is a set of closed Curves (LineStrings) corresponding to the boundaries of its element Polygons. Each Curve in the boundary of the MultiPolygon is in the boundary of exactly 1 element Polygon, and every Curve in the boundary of an element Polygon is in the boundary of the MultiPolygon.
Below some examples of MultiPolygons: