結果 : domain rules for composite functions