Supervenience also implies that different systems must be physically different. It also mentions a dependency between lower- and higher-level features: lower-level features are primary and may exist without higher-level features. Higher-level features depend on lower-level ones and cannot exist without them.
See also Philosophy of mind and Functionalism