 As is often the case in measure theoretic questions, the definition of essential supremum and infimum does not start by asking what a function "f" does at points "x" (i.e., the "image" of "f"), but rather by asking for the set of points "x" where "f" equals a specific value "y" (i.e., the preimage of "y" under "f").Let "f"