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?