一般性の次元

どの項も他の項と交換可能

反復はここに位置しない

反復は毎回が新しい