An Algebra of power set type relations. - Jaeschke, Gerhard (Heidelberg Scientific Center. Technical Report, 1982)