subobject (suomeksi)

Määritelmät:

An object that is part of another object.
(lb, en, category theory) An object and a monomorphism from it to another object, which monomorphism is interpreted as an inclusion.