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 the next 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)

I'd agree, worth keeping. Might be worth subpaging these to the existing ones, same way we've done other specialisations of general constructs.