Formal Powers Definition