Virtually operator

Symbol-free definition
The virtually operator is a operator from the group property space to itself that takes as input a group property $$p$$ (typically, a subgroup-closed group property) and outputs the property of being a group which has a subgroup of finite index satisfying $$p$$ as an abstract group.

Application
Inportant instances of application of the virtually operator: