cr多様体とは,微分可能多様体formula_3とその上の(complexified)された接束formula_4の部分ベクトル束formula_5で次の条件を満たすものの組formula_17のことである: