Logical properties of the structuralist concept of reduction · Study