An embedding is one instance of some structure contained within another instance, such as a group that is a subgroup.
