krasnoludek, krasnalek;
1. malutka istota baśniowa z brodą i w spiczastej czapce, pomagająca ludziom;
2. żartobliwie: osoba niskiego wzrostu; mikrus, skrzat