for D being set
for G being Matrix of D holds <*> D is_sequence_on G ;