the bifunctor oplus