I've started a page on the semantics of empty. Please feel free to add cases, clarify and discuss... http://trac.osgeo.org/postgis/wiki/DevWikiEmptyGeometry P.