Congenital miosis (Human Phenotype Ontology identifier HP_0007728) is abnormal (non-physiological) constriction of the pupil of congenital onset.