Elementary matrices/Definition