Definition of "serpentinite"