(algebra) An algebra over a field whose bilinear product is not necessarily associative. / (algebra) An algebra over a ring whose bilinear product is not necessarily associative.