Вот исходная фраза "A sort associated with a data type t in an algebra A is denoted by At." Так перевести можно "Множество, элементы которого имеют тиип данных t в алгебре A обозначается как At"