En representación del conocimiento, programación y diseño orientados a objetos (ver arquitectura de programas orientados a objetos), is-a (is_a o is a) es una relación de subsunción entre abstracciones (e.gramo. tipos, clases), donde una clase A es una subclase de otra clase B (y por lo tanto B es una superclase de A).