unbust term:<∅> for usage as empty set