kloje experimental gismu

x1 (set/space) is closed under(/wrt) operator/relation x2; x2 has closure in x1.

Identical to klojere but is a gismu (as it might be considered to be a fairly fundamental concept which is productive).


In notes:

ginlazdze
x1 is a genetic-familial/'blood' ancestor of x2 by bond/tie/relation/of degree x3.
ginlazyseldze
x1 is a genetic-familial/'blood' descendant of x2 by bond/tie/relation/of degree x3.
klojere
x1 (set/space) is closed under operator/relation x2; x2 has closure in x1.
klojyjoisocnyjoidukni
x1 is a binary group operator endowing set/space x2 ; x2 is the underlying set or the actual structure of a group with operator x1.
kraune
x1 (set/family/tree graph) is a crown category/clade/'group'/set formed from and defined by (elements of) set x2 (nonempty set/family/graph), which have set-wide simultaneous most-recent common ancestor(s) x3, according to judge/standard/definition/(directed) tree graph/relations x4.
taknyklojyzilpra
x1 is the transitive closure (directed graph/set of ordered 2-tuples/space) derived/produced/induced from relation space x2.