https://123deta.com/document/zx255pwq-relation-definable-bundles-definable-bundles-theoretic-independence-dimension.html