如果一个非空集合S的每一个子集X均对应于S的一个子集f(X)并且满足:当X是Y的子集时 有f(X)