"berechenbare Relation" Englisch