Relaxed semigroupoids upper bound.