often, a formula such as T will implicitly mean "T is admissible for T and T"
when more than one system is being studied, we sometimes add a subscript and write Y to emphasize that we are considering that we are considering the set Y or map Y, corresponding to the particular system Y