Microcornea is defined as: