Ivérnischer Ozean, im Altertum Name des Meeres zwischen Britannia und Ivernia (Irland).
http://www.zeno.org/Meyers-1905. 1905–1909.