Finite-Cofinite Program Relations