We construct elliptic theory in the subspaces, determined by pseudodifferential projections. The finiteness theorem as well as index formula are obtained for elliptic operators acting in the subspaces. Topological (K-theoretic) aspects of the theory are studied in detail.