Definition of simple random sampling in statistics