Basic definition of a semiring