L~ (<*> the carrier of (TOP-REAL 2)) = {} by TOPREAL1:22;