"binary operation" Deutsche bedeutung