运算可逆性的整体结构形式。
原为现代代数学的术语，皮亚杰引入形式运算思维的研究，作为形式运算阶段的一种认知结构。可逆性包括逆反性(N)和相互性(R)。
在群集运算阶段(即具体运算阶段)，可逆性的两种形式(即逆反性和相互性)还未形成一个系统；到形式运算阶段，则逐步构成一个四变换群系统。如一个命题或一个事物的关系，可有四个基本变换：正面或肯定(Ⅰ)，反面或否定(N)，相互(R)，相关(C)。每一正面运算，从分类上必有一逆反运算，从关系上必有一互相运算，而相互的逆反则是相关。四变换群由INRC的组合关系构成，并可穷尽命题的各种关系。如“P蕴涵着Q”；它的否定是“P而不是Q”；它的相反就是“Q蕴涵着P”；还可得到互反的否定是“Q而不是P”等。