Математикам. Как правильно читается такая нотация?

Question

[zim32]

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

Answer 1

[cs0ip]

Полагаю, что речь идет про потомка generic-типа Si, с типами параметрами F1...Fn. И значения этих параметров устанавливаются в значения конкретных типов T1...Tn соответственно.
Например, Iterable<T>.
class IntCollection implements Iterable<Integer>
Аналогично с exends (по сути не важно implements или exends).
Это можно записать в соответствии с данной нотацией так:
IntCollection is a subtype of Iterable[T := Integer]