Formen er endelig dersom tegnet er det samme for alle tallpar og og der et av tallene ikke er null. For eksempel er uttrykket positivt definert for og siden det er positivt for alle verdier av og unntatt når begge er null. for er positivt definert ettersom det er positivt eller null for alle og .