for F being ext-real-membered set holds -- (F "") = (-- F) ""