semidecidable

1. REDIRECTComputably enumerable set

{{R from alternative name}}