[math-fun] classes of sq matrices closed under matrix multiply ?