Informasi yang berkaitan dengan ja/完備化 (順序集合)