初等圈的条件不包括（ ）。