Free algebras of discriminator varieties generated by finite algebras   are atomic
  We prove that all definable pre-orders are atomic, in a finitely generated free algebra of a discriminator variety of finite similarity type which is generated by its finite members. 
H. Andr\'eka and I. N\'emeti
math.LO