as.relation.kstructure	as.relation
closure.kstructure	closure
kassess	kassess
katoms	katoms
kbase	kbase
kdomain	kdomain
knotions	knotions
kspace	space
kstructure	kstructure
kstructure_is_kspace	space
ktrace	ktrace
kvalidate	kvalidate
plot.kstructure	plot
reduction.kstructure	reduction
