Another way to say "one type of schools is a university" is "a university is a type of school"