A set X is called strictly smaller than Y, written |X| < |Y|, if X is not greater than Y and there is no surjection from X to Y.