公理単項式の和として表される式。