On

Tiedon esityksessä, olio-ohjelmoinnissa ja suunnittelussa (ks. Olio-ohjelma-arkkitehtuuri) is-a (is_a tai is a) on abstraktioiden välinen alisuhde (e.g. tyypit, luokat), joissa yksi luokka A on toisen luokan B alaluokka (ja niin B on A -luokan yläluokka).