{} is Element of omega