Halliday & Matthiessen (2014: 145):
Finiteness combines the specification of polarity with the specification of either temporal or modal reference to the speech event. It constitutes the verbal component in the Mood. But there has to be also a nominal component; and this is the function of the Subject.