Un B-árbol de orden M es un árbol M-ario que verifica: