"mindre himmellegeme" er et 19-bokstavers substantiv som brukes som synonym for "dvergstjerne". dvergstjerne betyr: Et lite himmellegeme, som en dvergstjerne.