for X being ARS holds
( X is DIAMOND iff the reduction of X is subcommutative )