Talk:Potentially operator
Rationale for name
The name potentially is typically used for something that may not be true, but could be true in a different, bigger, or later, context. This thus seemed a befitting name for the potentially operator, which is about a subgroup having the property, not necessarily in the ambient group, but in a possibly much bigger group.