是的，Redis的`ZADD`命令可以对非空集合进行操作。`ZADD`命令用于将一个或多个成员元素及其分数值加入到有序集（sorted set）中。当对非空集合执行`ZADD`命令时，Redis会将新成员添加到集合中，并根据分数值自动维护集合的排序。

以下是一个使用`redis-cli`的示例，演示如何对非空集合执行`ZADD`命令：

1、首先，创建一个名为`myzset`的非空有序集合，并添加一些成员：

```bash

ZADD myzset 1 "one"

ZADD myzset 2 "two"

```

2、然后，使用`ZRANGE`命令查看当前有序集合的成员及其分数：

```bash

ZRANGE myzset 0 -1 WITHSCORES

```

输出结果：

```

1) "one"

2) "1"

3) "two"

4) "2"

```

3、接下来，继续使用`ZADD`命令向非空集合中添加新成员：

```bash

ZADD myzset 3 "three"

```

4、再次使用`ZRANGE`命令查看更新后的有序集合：

```bash

ZRANGE myzset 0 -1 WITHSCORES

```

输出结果：

```

1) "one"

2) "1"

3) "two"

4) "2"

5) "three"

6) "3"

```

从输出结果可以看出，新成员"three"已成功添加到非空有序集合`myzset`中。这说明`ZADD`命令可以对非空集合进行操作。