Plurisubharmonic envelopes and supersolutions