semifield (field + semi-; half_partial)
An algebraic structure with two binary operations, addition and multiplication, similar to the field but with some axioms relaxed