A model property where reordering inputs produces correspondingly reordered outputs, useful for unordered data.