<logic> A set for which there is a recursive function to determine whether any given object is a member. See decidable set, recursive function
See recursively enumerable set
[Glossary of First-Order Logic]
<2001-03-16>
Try this search on OneLook / Google