E\neq \emptyset,~f:E \to R,~F \textrm{ je bazis filtra nad}~E