Baseless subgroup

Symbol-free definition
Given a factorization of a group as a wreath product of two groups, a subgroup of the whole group is said to be baseless if it intersects the base group trivially.