Mathematicians. What is the correct way to read this notation?

Question

Java

is a subtype of Si[ F1 := T1, ..., Fn := Tn]

Answer 1

I believe that we are talking about a descendant of the generic type Si, with type parameters F1...Fn. And the values ​​of these parameters are set to the values ​​of specific types T1...Tn, respectively.
For example, Iterable<T>.
Similarly with exends (in fact, it doesn't matter implements or exends).
This can be written according to this notation as follows:
IntCollection is a subtype of Iterable[T := Integer]