Dalam representasi pengetahuan, pengaturcaraan dan reka bentuk berorientasi objek (lihat seni bina program berorientasi objek), is-a (is_a atau is a) adalah hubungan penggantian antara abstraksi (e.g. jenis, kelas), di mana satu kelas A adalah subkelas kelas B yang lain (dan jadi B adalah kelas super A).