Computable set

Set with algorithmic membership test

From Wikipedia, licensed CC BY-SA 4.0.