univerzum jazyka L ~ - súbor všetkých možných svetov, o ktorých sa dá hovoriť v L ( L171;62). ~ (Poznámka: o význame znaku L pozri: znaky logické.) ~