prima di ogni cosa...dovresti leggere il regolamento e postare il codice con gli appositi tag code /code!
codice:
typedef struct foresta{ \\lista di puntatori alla radice
ptree *root;
struct foresta *next;
}foresta;

typedef foresta *list_ptrforesta;
apparte quei due punti e virgola la struttura è sintatticamente corretta.

Per il resto, per verificare se è soddisfatta la condizione di heap, basta verificare come hai detto tu, che la chiave di ogni nodo è maggiore o uguale delle chiavi dei nodi figli, se esistono, quindi scorri la lista dei puntatori ai vari nodi radice e per ogni albero testi che questa condizione sia soddisfatta!
se hai bisogno di altri chiarimenti chiedi!