В представянето на знания, обектно-ориентираното програмиране и проектиране (вижте обектно-ориентираната програмна архитектура), is-a (is_a или е a) е отношение на поглъщане между абстракции (e.g. типове, класове), където един клас А е подклас на друг клас В (и така В е суперклас на А).