Definition of Decimation