# The linearisation order to visit elements in the poset
	var order: Array[E] is noinit