We investigate how to characterize subcategories of abelian categories in terms intrinsic axioms. In particular, we find axioms which generating cogenerating functorially finite subcategories, precluster tilting and cluster categories. As a consequence prove that any d-abelian category is equivalent d-cluster subcategory an category, without assumption on the being projectively generated.