This is an option to tell changeRing whether to make a hypergraph using maximal or minimal edges after substitution for the variables.
The object MaximalEdges is a symbol.
The source of this document is in EdgeIdeals.m2:4282:0.