Codomain := Y END Additivity IF f. Domain = g. Domain THEN k.Domain := f. Domain; k.Codomain : = f. Domain + g. Domain END Transitivity IF f. Codomain = g.
確定! 回上一頁