order Ichthyosauria n 1: extinct marine reptiles: ichthyosaurs [syn: {Ichthyosauria}, {order Ichthyosauria}]