BSTS / Mantık Terimleri Sözlüğü
çoğabir bağıntı anlamı İng. many-one relation Alm. mehreindeutige Relation Fr. relation pluri-univoque
ß bağıntısının K kümesinde çoğabir olması, her x, y, z için < x,y> ile < x,z> ß bağıntısının içinde olduğunda y = z olması demektir.