By a micro switch, one refers to an electrical switch whose contacts, when open, have a maximum clearance of 3 mm.