Замечательно. Давайте теперь проверяйте для заданного множества.

П.С. Видите, свойства, в котором две строки надо перемножать, нет.