圏が集合になるための条件として有用性が認められているものは?