可置换性

substitutability