Talk:Exists Subset which is not Element

Ideas on rename? I'm happy with it as it is. I can't think of a rename that would not make it more clumsy. --prime mover (talk) 11:00, 7 May 2022 (UTC)