Any of various large marine mammals belonging to the superfamily (formerly considered a suborder) Pinnipedia comprising walruses, eared seals and earless seals.