  In this survey, we discuss the definition of a (quasi-)Banach function space.
We advertise the original definition by Zaanen and Luxemburg, which does not
have various issues introduced by other, subsequent definitions. Moreover, we
prove versions of well-known basic properties of Banach function spaces in the
setting of quasi-Banach function spaces.
