Нужно написать программу которая формирует множество y=(x1/x3) и вывести его мощность.Дано: x1={t1,t2,t4,t5}
x3={t1,t5}

Интересуют вопросы:
1)что такое мощность и как она находится?
2)t1,t2... это переменные типа char или как?

Это количество элементов во множестве... Как находится - Перебором всех возможных значений, которые могут входит во множество, и проверкой каждого из них на вхождение (операция In)...

Скорее - перечислимого типа...

Type 
  T = (t1, t2, t3, t4, t5);
const
  X1 = [t1, t3, t4, t5];
  ... { И так далее }