finite–cofinite algebra