Podmínka spočetných řetězů