Ultracompanions of subsets of a group
Let be a group, be the Stone-Čech compactification of endowed with the structure of a right topological semigroup and . Given any subset of and , we define the -companion of , and characterize the subsets with finite and discrete ultracompanions.