I is the set of all maximal consistent sets of sentences; iRj iff, for every sentence A in, A is in i; iff there is no set of sentences that overlaps but not, such that whenever A is in and A is in then also is in Σ; is in A iff A is in.