Definition:Filter Basis/Equivalent Filter Bases

From ProofWiki
Jump to navigation Jump to search

Definition

Two filter bases are equivalent if and only if they both generate the same filter.


Sources