property of binary relations which are left-total and right-total
Nothing in the MetaHistoryBook collection references this item yet.