Motivated by an equality of the Mittag-Leffier function proved recently by the authors, this paper develops an operator theory for the fractional abstract Cauchy problem (FACP) with order alpha is an element of (0, 1). The notion of fractional semigroup is introduced. It is proved that a family of b