:: deftheorem defines Maclaurin TAYLOR_2:def 1 :
for f being PartFunc of REAL,REAL
for Z being Subset of REAL
for a being Real holds Maclaurin (f,Z,a) = Taylor (f,Z,0,a);