För den tomma abstraktionenexisterar