Es el axioma de la multiplicación. Aunque la utilización de la palabra axioma aquí es discutible. Sería más apropiado referirse a los axiomas de la multiplicación para las propiedades conmutativa, asociativa, etc.
Pero esa es la respuesta la a, no puede ser ninguna otra,