{smooth morphism} [ریاضی] ریختار تخت f از X به Y به طوری که به ازای هر نقطۀ y از f-1(y ) ،Y یک طرح هموار باشد