for f, g being 1-sorted holds Carr {f,g} = { the carrier of f, the carrier of g}