Lat. afleiding van mare 'zee', dus: 'van de zee'. Heiligennaam, waaronder 1) St.-Marinus, een Romeins officier, gestorven omstreeks 259 in Cesarea tijdens Valerianus; kerkelijke feestdag: 3 maart; 2) Aan een andere heilige van deze naam zou de republiek San Marino haar naam danken. Kerkelijke feestdag: 4 september; 3) Marinus en Anianus, afkomstig uit Ierland (7e eeuw). Zij predikten het geloof in Beieren; gestorven 697; kerkelijke feestdag: 15 november; 4) Ook waren er twee pausen van deze naam, de eerste was paus van 882 tot 884, de tweede van 942 tot 946. Zie ook Marina. De naam komt hier pas in de 16e eeuw in gebruik (onder invloed van Maria?). Oudste voorbeeld in Holland is uit 1500. Pas in de 19e eeuw bijvoorbeeld op Wieringen (Daan, 223).