"fonksiyonlarının sürekli olduğu en geniş küme eş olduğuna göre"
Bu fonksiyonlar tanımlı olduğu her yerde (ve sadece orada) sürekli olduğu için tanım kümelerinin eşit (soruda eş denmiş ama eşit olması anlamlı) olacak şekilde a,b için ab isteniyor.
Tanım kümelerinin aynı olması için, ikisinin de içi, aynı x için, 0 olması gerekir.
ab nin pozitif değeri de pek iyi bir ifade değil. "ab nin alabileceği değerlerden pozitif olanı" iyi olur. Örneğin: "−1 in pozitif değeri" biraz saçma olmaz mı? Ya da, ab nin mutlak değeri (|ab|) de denebilir.