 In the case of full subcategories it is sufficient to check that every formula_2-object that is isomorphic to an formula_1-object is also an formula_1-object.This condition is very natural.For example, in the category of topological spaces one usually studies properties that are invariant under homeomorphisms—so-called topological properties.