emptySetLaw

inline fun <E> emptySetLaw(): Set<E>