  We show that the notions of generic and Laver-generic supercompactness are
first-order definable in the language of ZFC. This also holds for generic and
Laver-generic (almost) hugeness as well as for generic versions of other large
cardinals.
