From GeoGebra Manual
- Envelope[ <Path>, <Point> ]
- Creates the envelope equation of a set of output paths while the moving point is bound to another object.
An envelope is a curve that is tangent to each member of the family of the output paths at some point.
Note: See also Locus command.