In category theory, a branch of mathematics, a subcategory of a category is said to be isomorphism closed or replete if every -isomorphism with belongs to This implies that both and belong to as well.