Wiktionary
semijoin
n. (context algebra English) A type of join in relational algebra, denoted by ⋉ or ⋊.