Megszámlálás tételénél mit jelent ez?

"Legyen adott [m, n] és legyen adott f[m, n] --> H, továbbá legyen adott T tulajdonságfüggvény"

Azt tudom, hogy az első része azt jelenti, hogy legyen adott egy m kezdőértékű n végértékű intervallum aminek elemein ügyebár a tételt alkalmazzuk, de a másik?

Valamint az utolsót is értem, kell egy tulajdonság, amit vizsgálunk az adott elemen (hogy jellemző-e rá).