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