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.
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.
taknyklojyzilpra
x1 is the transitive closure (directed graph/set of ordered 2-tuples/space) derived/produced/induced from relation space x2.
klojere
x1 (set/space) is closed under operator/relation x2; x2 has closure in x1.