子集定义用符号语言表示为?