"Teachers' Retirement System of the State of Illinois": The system defined in Article 16 of this Code.
40 ILCS 5/14-103.31