return CursorFactory.makeCursor(v, new TopContext(name.getValue()));
}
public ISet subset(ISet sub, ISet backing) {
checkCursorness("second", backing);
return new SetCursor(sub, new UnionContext(((ICursor)backing).getCtx(), (ISet) ((ICursor)backing).getWrappedValue()));
}