I vidensrepræsentation, objektorienteret programmering og design (se objektorienteret programarkitektur), er-a (is_a eller er a) et subsumptionsforhold mellem abstraktioner (e.g. typer, klasser), hvor en klasse A er en underklasse af en anden klasse B (og så B er en superklasse af A).