for X being set holds
( X meets X iff X <> {} ) ;