Nella rappresentazione della conoscenza, programmazione e progettazione orientate agli oggetti (vedi architettura del programma orientata agli oggetti), is-a (is_a o is a) è una relazione di sussunzione tra astrazioni (e.G. tipi, classi), in cui una classe A è una sottoclasse di un'altra classe B (e quindi B è una superclasse di A).