A Generalization of K-Theory to Operator Systems