Oradaki tanımı da pek anlamadım hocam. Elimizde iki L−structure var, birinden diğerine giden homomorfizma eğer güçlüyse varış kümesindeki her bağıntı için kalkış kümesinde de bir bağıntı vardır; diye anlıyorum. Bunun bendeki çağrışımı, o homomorfizmanın onto olması. Ama öyle olsa neden güçlü desin ki?