Definition talk:Composition of Subsets of Topological Group

I realise after creating that these two definitions already exist as Definition:Inverse of Subset and Definition:Subset Product in more general settings. They're introduced in the source in the context of topological groups only, and the results after apply only to topological groups. For this reason I think these pages are worth keeping, but would welcome input. Caliburn (talk) 10:47, 4 June 2022 (UTC)