给定两个非空集合a和b，集合的元素为30000以内的正整数，编写程序求a-b。

可以使用Python语言中的集合操作，通过差集运算求出a-b。

具体实现步骤如下：

1. 将a和b转换为集合类型，使用set()函数即可。

2. 使用差集运算符“-”求出a-b，得到的结果也是一个集合。

3. 将结果集合转换为列表类型，使用list()函数即可。

示例代码如下：

a = {1, 2, 3, 4, 5}
b = {3, 4, 5, 6, 7}
result = list(a - b)
print(result)

输出结果为：[1, 2]

以上代码中，a和b分别表示两个非空集合，result表示a-b的结果，最后将结果转换为列表类型并输出。