Pupillenverengung; die zeitweise Engstellung der Pupille durch Muskelkontraktion oder Lähmung, ferner als Effekt von Parasympathomimetika (Miotika)