Any of various seals of the family Phocidae, which includes the harbor seal and elephant seals, characterized by short fore flippers, hind flippers specialized for swimming, a coat of short sleek hair, and the absence of external ears. Also called phocid, true seal.