A general choice function over all non-empty sets requires selecting from collections with no comput...