a building or system where lodging, usu. with boarding, facilities for students is provided; a student hostel.