"Forgetful functor" . "forgetful functor" . . . . "forgets" . . . "Forgetful functor" . "underlying set" . "forgetten" . "forgotten" . "forgetful" . "forgetting" .