(SET) Floreano, Hillmann and Neufang, Definition