Assertion: algebra | /r/HasProperty | \ldots f_k)\
Facets:
Source sentences:
text: Given two algebras \((X, f_1 , \ldots f_k)\) and \((Y, g_1 , \ldots g_k)\), a homomorphism \(h: (X, f_1 , \ldots f_k)