数据抽象中，抽象了对象值和型之间的“ismemberof”的语义的是（）。