Etymology
Today it means: A type of join in relational algebra, denoted by ⋉ or ⋊. Full definition →
From semi- + join.
Etymology from Wiktionary, CC BY-SA 4.0.