L'église actuelle de Saint-Benoît est désignée dans l'histoire sous le nom de basilique ou de grande église de Sainte-Marie. Cette désignation la distinguait des autres églises ou chapelles élevées, soit dans l'intérieur, soit près des murs du monastère. C'était l'église conventuelle proprement dite, celle dans laquelle se célébraient les grands offices, et dans laquelle les simples fidèles étaient autorisés à entrer.
