是的，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`命令可以对非空集合进行操作。