some formula_1-structures are defined terms of others: given a riemannian metric on an oriented manifold, a formula_1-structure for the 2-fold cover formula_37 is a spin structure. (note that the group homomorphism here is "not" an inclusion.)