unbounded groupoids, groupoids and setoids