集合型に要素が含まれているかどうかを調べるにはin演算子を使えばいいと言うことは以前のメモにも記したけど、
残念ながら要素が空っぽかどうかを調べることは出来ない。
そんじゃどーすんだということだけれども、発想を転換してこういう風にする。

[] = 調べたい集合

これで調べたい集合が空ならTrue、そうじゃないならFalseを返す。
演算子を=から<>に変更すれば真偽は上記の例とは逆に返す。