Noncommutative Fr\'echet Spaces and Unbounded Bivariant K-Theory

In this paper we introduce an abstract approach to higher order smooth systems on $C^{\ast }$-algebras in contest of Baaj-Julg picture of $\text{KK}$-theory.