Rough approximation of subgroup and conjugacy relation | Synapse