Noun
English Wikipedia has an article on:microlensWikipedia microlens (plural microlenses) A microscopic lens