univalent reduction - German English Dictionary