Let , be Category with Then is a full subcategory of iff That is, is simply a restriction of objects but not morphisms.