“Higher education institution” has the meaning given by Article 30 of the Education and Libraries (Northern Ireland) Order 1993.