closure of a set - German English Dictionary