The abstract counterpart of a Pseudogroup formed by certain subsets of a Groupoid which admit a Multiplication.
References
Weinstein, A. ``Groupoids: Unifying Internal and External Symmetry.'' Not. Amer. Math. Soc. 43, 744-752, 1996.