Una subcategoría es por completo ("full") si para cada par ordenado de sus morfismos identidad, contiene cada morfismo de "C" entre los objetos correspondientes.