System BV without the Equalities for Unit