Is hyper-extensionality preservable under deletions of graph elements?
scientific article; zbMATH DE number 6609750