outline start of theory of finite partial bijections