We define the quotient and complete NUOS-quotient map (NUOS stands for nonunital operator system) in the category of nonunital operator systems. We prove that the greatest reduced tensor product max0 is projective in some sense. Moreover, we define a pseudo unit in a nonunital operator system and give some necessary and sufficient conditions under which a nonunital operator system has an operator system structure.