writing on partial bijections